Thread:Reinhart77/@comment-164802-20150617191503/@comment-1256165-20150618061321

Nagumo already proposed it, and it seemed everyone was okay with it. I see no problem with that. :)