[chikamichi]

As I said, I'd rather have the non-tech people use a down-to-earth solution like GitBook: "click a button, and it's ready" I'll see whether adding post-processing (using pdftk for instance) to GitBook's workflow is an option, then. Thank you!