Merge proposals

TeX-SX has no merge proposals.