doxygen: use @addtogroup instead of @ingroup to work around detailed docs being added to the brief docs.