gerrit.morgengrauen.info / mudlib-public / 5d9a0d7f7439fb2346e9be2a65b93ab0e19aeceb / doc / sphinx / props-obsolet.rst