gerrit.morgengrauen.info / mudlib-public / 20b907fb86a71c89fd49d6a3aef37bd432849447 / doc / sphinx / props-obsolet.rst