doc/README.in: forgotten update.