I decided not - because it was always lower cased before, so to keep backward compatibility I kept it the same.

I suspect it would be good to remove it though.

The reason it was originally there was because the case of identifiers was inconsistent and it messed up the regression suite comparison.  This latest change is consistent so I think the need to lower case goes away.

(It may be worth keeping it for records...)