Thread:BunsenH/@comment-25404524-20160513041857/@comment-24577221-20160513152344

It is a bit scary but it's in use, in one of the discussion threads. So I'm reluctant to delete it without better reason than "one person finds it scary".