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