manual tex "imports" wip