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