HTMLでIDをつけた要素はJavaScriptのグローバル変数になる

HTML内でid属性に値を設定すると、設定した値の変数がwindowオブジェクトのプロパティとして作られてJavaScriptからグローバル変数としてアクセスできる。
こんな仕様になっているとは知らなかった。