Including HotDocs files