Re: [WikiEN-l] Accuracy of describing Jimbo as retired (a bit of OR)