It's also the most publicized rule on the board as well, as it's not just in the rules. It's also listed prominently on the deactivate page, and requires acknowledgement during signup. I don't think that not being able to change your username is going to cause any major problems for anyone, so we pretty much stick to the well-published rule on how setting up duplicate accounts affects your ability to change your username.