GA: add pagespeed and anonymizeip
My personal blend between siovene and arnaudbos.

I'm adding feeds info to page header and altering display of admonitions, doing some refactoring and adding the newest Google Analytics code, and updating some HTML5 and CSS3 elements.