Fixed logic-only bug in restore-iprint-ar-from-wormhole; slightly improved :doc linear to clarify that rewriting is done before adding the conclusion.