Thread:8emi95/@comment-38452727-20190517191351/@comment-37915141-20190517220743

Oh, sorry, it was accidental, I started to write the choices in my own editor (I alawys do this, because I'm much faster and this way I won't run into that many conflicts if someone else is editing too) and merged with the changes by hand but I probably missed that one. Apologies.