@DElurker: I'm curious as to the timing. Demint is only two years into his second six-year term. Why quit now?…