I had to make a couple of changes to coolmenus3.js and
in order to do so I 'decompressed' and commented (a
little) the script. I also added additional protocol
exceptions and made some minor corrections on tight
screen adjustments.
Please note there would be NO point in submitting a
patch since the whole file is editted.