the documentation of `<CGAL/tags.h>` seems wrong, and should use the header file as the source for Doxygen.