Recently the links to the development manual do not seem to be working. They are circular and generally result in page not found. - https://opencpn-manuals.github.io/main/manuals/index.html - https://opencpn-manuals.github.io/main/ocpn-dev-manual/0.1/intro-AboutThisManual.html It would be helpful if we knew if the links had changed and where they should be directed to now. Thanks.