And, it also seems that this bug was already fixed. I can only assume the explanation here is - a bug existed in either the player or editor (not sure which) at the time I was preparing Doomsday Lemmings for V12.7.X, and that this bug has since been fixed, but I never spotted that this particular level was affected.