On Oct 21, 2017, at 12:00 PM, pd-list-request@lists.iem.at wrote:since then the issue was raised again and again.
1.5 years ago (see the post from miller that alex linked to) a decision
was made, which was greeted with an "EVERYONE WINS" by the community
(and i don't remember anybody objecting).