How does texdome work?