 <!-- This does exist, but leave it out to avoid confusion: -->
    <!-- 
  <tr><td width="10%" align="left" valign="top">
  <code>@<b>type</b>&nbsp;<i>p</i>:</code>&nbsp;... </td><td>
    The type of the property
    <code><i>p</i></code>. </td></tr>
    -->
  
  <!-- ========== Properties ========== -->
  <tr><th colspan="2" align="left">Properties
  <i>(property docstrings)</i></th></tr>
  
  <tr><td width="10%" align="left" valign="top">
  <code>@<b>type</b>:</code>&nbsp;... </td><td>
    The type of th