Quick 'n' dirty Firefox extension to handle window decorator things