Oh, I didn't notice that fact. Meh, in that case, let's just keep this as it is for now.

Just to save roundtrips: did you see my other comment about the two small glitches I found with this?