>>>>> "Michael" == Michael Roth <mroth at nessie.de> writes: Michael> Commit af2390c0f437dbb26a31150eb7d526e1d0bdfd1a overlooked some Michael> old comment fragments. Thanks, committed. -- Bye, Peter Korsgaard