The `tools/loader.lgt` helper file now also loads the `lgtdoc` tool