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