gerrit.morgengrauen.info / mudlib-public / 418eb8a5ff002c4169937b7b553085001f9db2cd / doc / sphinx / props-obsolet.rst