html corpus export