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