doxygen: JAVADOC_AUTOBRIEF is... wow. I need to take a shower.

doxygen: JAVADOC_AUTOBRIEF is... wow. I need to take a shower.

Or, don't blow up on an unfortunate series of bad events.

1. If a file has a copyright header starting with /// and delimited with
   **** and JAVADOC_AUTOBRIEF is set to ON, Doxygen treats the first ***
   line as a brief documentation, which then made m.css fail because it
   doesn't expect stuff like <para><hruler/></para> inside
   <briefdescriptions>. The <hruler/> is still not implemented yet,
   though.

2. Who would have thought that

       /// A brief docs.
       /// @{
       /// Some detailed docs.

   would be understood as a two-paragraph brief?!

3. And who would have thought that

       /// ============
       /// The Thing
       /// ============

    would create a brief containing some === characters and a <heading>
    inside?! Here I just give up and ignore the whole thing.