developer documentation, extra sources, doxygen