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