Dear AFP maintainers, there are some broken links for older entries on the release version of AFP (the devel version is fine). E.g. https://www.isa-afp.org/browser_info/current/AFP/MiniML/document.pdf and https://www.isa-afp.org/browser_info/current/AFP/MiniML/index.html Makarius