Maybe best to not wonder things like this in code comments :)