facilities: encode path history according to BSP
pki: resolve URLs instead of overriding completely
update Doxygen configuration and styling
mkdocs: switch to awesome-nav from awesome-pages
facilities: copy only encodable PathHistory points