heh, I tried to fix that in the UI (the wrong place, obviously). There's some browser that doesn't do <option disabled> I guess? Perhaps a sarcastic answer is

heh, I tried to fix that in the UI (the wrong place, obviously). There's some browser that doesn't do <option disabled> I guess? Perhaps a sarcastic answer is the best solution. ;)