change log in options.html now, to simplify maintenance