Good to know, thanks. I was looking for something like that but couldn't find it last time, maybe it's new?

Still makes about as much sense to me as Google adding a "always show search box" option that defaults to off :D