/** Paper_book collects headers, systems (Paper_system) and texts, and
exports them to the output backend, either as systems or as
/** Paper_book collects headers, systems (Paper_system) and texts, and
exports them to the output backend, either as systems or as