This reverts my commit 3a3aa0e0 of 2018-03-18 at 21:43:18 UTC.
I thought consensus had been reached, but it had not: Eli Zaretskii
felt the pre-3a3aa0e0 situation was fine and would not like to
see it changed without at least further discussion.
Attach a file by drag & drop or click to upload