Hi Andy,
(: hack to scrape module names from github :) let $mods:=fetch:xml(" https://github.com/acdh-oeaw/vleserver_basex/tree/main/vleserver ",map{"parser":"html"}) //a[@data-pjax="#repo-content-pjax-container"][ends-with(.,".xqm")] /concat("https://raw.githubusercontent.com%22,replace(@href,%22/blob/%22,%22/"))
(: get namespace prefixes in use :) return $mods!( try{ inspect:xqdoc(.)/*:namespaces } catch * {$err:description})
I was surprised to see that this expression even triggers an exception if only the first module is inspected. If the repository is cloned and if it’s invoked on the local files, it runs smoothly, so maybe it’s a bug in the resolution of the remote URIs that a module that’s imported multiple times is not detected as already parsed.
I didn’t have time yet to track this down.