I'm not sure this is a good idea, since #2298 is outstanding.