With the setup of doxygen CI (subject to change later), this checks off the final item of #1 (closed).