Documentation: update the gnt-os manpage