Thread:BunsenH/@comment-25404524-20160721103433/@comment-24577221-20160723185515

To clarify: I think it's best as it is now. But I wouldnt object if others preferred the other option. Better?