> Use GET for everything that can be cached and repeated without side-effects

As long as HTTP is concerned (which must not be specifically REST), HEAD needs to be supported next to GET, too.