Tools for HotDocs Integration