I suggested this elsewhere, but was not accepted.