web.opts renamed web.opt