Amendments to publishing documentation

Replaces #3533, which is now closed.