[dhritzkiv]

I recently noticed a tiny "Hide" control (to hide these) that pops up in the top right, which is long overdue.