* Various small bugfixes and enhancements: I think I fixed all bugs I
  knew about.
* The code generated by my theme `Dries' is now 90% of the time
  aligned correctly. :o)