Revise or Update Documentation: More Doxygen for Libgeda