That does seem less than optimal, especially since we're doing other things to deal with JS-free people. Hmmmm.