[PM] Make the (really awesome) file comment here available as part of
the Doxygen.