<!-- Some styling for better description lists --><style type='text/css'>dt { font-weight: bold;float: left;display:inline;margin-right: 1em} dd { display:block; margin-left: 2em}</style>

   shuah: I think that needs to be added. I can fix that in my patch series. I am just about to send v4
   ***: benjiG has left
   <br> Whoopie has quit IRC (Ping timeout: 244 seconds)
   <br> lamm has quit IRC (Ping timeout: 264 seconds)
   <br> jherland_ has quit IRC (Ping timeout: 245 seconds)