> Did you solve the problem with coredumping groff? Well, not clearly. I restarted cleanly as opposed to running an update. Seemed to work fine. It's possible that I might have some bad RAM or something, but I've had so few problems that that seems both not very likely and very hard to diagnose if that were the case. John