Fix invalid @subsection markup in documents.doxygen.