Last minute alterations to instructions in ascii2doc and html form