Separate `invargent-manual` and `invargent` documents into "envelope" and content, which can be used as appendix in other documents.