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