Prettier: some more documentation here and there; --version useless option.