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