re-establish HyperDoc content from .htex sources