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