Copyright (c) 2024  Runxi Yu <https://runxiyu.org>

Everyone is permitted to copy and distribute verbatim copies
of this IA documentation, but changing it is not allowed.