[Info-vax] Support needed/begged for IE bug report

[MG]

Also 'remotely' from the site, whilst running Windows 7 (v6.1, b7601)
"Extreme" SP1 x86-64 on an Intel Core i7 3930K PC with 64 Gbytes RAM
with Java v1.6.0-13 (SE run-time env. b1.6.0_13-b03, "HotSpot" 64-bit
Server VM b11.3-b02.  I should probably upgrade, I think this was
pre-installed with some application.)

I don't have any Internet Explorer versions before 10, so, I hope
this will do...

       Internet Explorer v10.0.9200.16521 x86-64
       -----------------------------------------
       "Something":  1CB<: 850
       "Stuff":      1CB>: 850

       Internet Explorer v10.0.9200.16521 x86*
       --------------------------------------
       "Something":  1CB<: 609
       "Stuff":      1CB>: 609

       Firefox v20 (Mozilla 5, rv:20, Gecko/20100101) x86-64
       -----------------------------------------------------
       "Something":  1CB<: 87
       "Stuff":      1CB>: 87

(* Strangely, in the process manager, it doesn't show it as
being 32-bit...)

  - MG