sync after moving Doxygen documentation