It's not, see below. (But this code is gone now, anyway.)