On Wednesday, 7 October 2020 at 23:17:18 UTC, Walter Bright wrote: > I'm not sure which is the one to go, but we should not have > both. I agree. Removing the either now would be a breaking change though ... Which version is used more often?