> Is any work _actually_ going to get done on this list? If not, Magnus > might as well remove it from the list server. Magnus might as well remove it from the list server.