file. We could start maintaining it after the release...

Also, I have put the GNU generic installation instructions in the INSTALL
file, after a small header referring the reader to the manual for octopus-
specific details.