Update Doxygen markup in PATCHES, BUGS, and TODO: