Also dynselect.js, which contains a whole bunch of functions for doing
dynamic things with <select> html objects, like moving/copying opts
between selects, and anything else you might want to do with <option>s and
<select>s (couldn't find any existing code more free than gpl, so quickly
wrote my own).