gerrit.morgengrauen.info / mudlib-public / 212594f0c0510ae08d82d31b5fea909d217876f0 / doc / sphinx / man