doxygen: document on the main page that we have access to syntax tree, symbol database and library.