On Wednesday, 18 May 2022 at 06:13:45 UTC, bauss wrote: > > Considering the deprecation period has ended then IMO it should > be able to be used as an identifier. > > I would consider this a bug. I hope this is a bug ;)