Comment by jpecar

Wow, google suddenly looks much better. How do we make this change permanent? (not a joke)