Output from the sagewiki-to-github migration script with input = an archive of https://wiki.sagemath.org/ from October 2022 - View it on GitHub