I would like to push a release of Debian Policy but I want to include the patches in the following two bugs. If you are a DD, please consider reviewing and seconding the patches in these bugs so that I can do that.

EDIT 2018/xii/23: these are both now seconded – thanks gregor!