Firefox 7 tries to slim down and speed up Dutch government root certificate banned in Chrome, Firefox and IE