prettify the browser plugin preferences - issue #266