I was pleased to see Boole celebrated the other day in a Google Doodle (on .co.uk, at least) but unsurprised and disappointed to see they still don't allow his

I was pleased to see Boole celebrated the other day in a Google Doodle (on .co.uk, at least) but unsurprised and disappointed to see they still don't allow his contribution to the world to be used, easily, on the world's biggest search engine. Would've been nice for the day, I thought.