Folks, Karl has been resolving too many issues too quickly. Pretty soon he
will have nothing left to do!!!
Besides, as per Bert's email we have a freeze coming up. So it would be
good to test the changes (CMD-, or Alt-, click on *help*, then click
on *update
code from server*, to get the latest).
Stephen