This fix is for some characters that were wrongly formatted because of lacking UTF-8
@@ -302,7 +302,7 @@ def write_page(path: str, code: str):
code: The code to write.
"""
utils.mkdir(os.path.dirname(path))
- with open(path, "w") as f:
+ with open(path, "w", encoding="utf-8") as f:
f.write(code)