Many of you are still using
etherpad.wikimedia.org -- which is old and terribly buggy. Some of you have switched to
etherpad.wmflabs.org -- which is new and works well, but which had repeatedly choked in the past couple of days under the stress from dozens of Wikipedians taking notes simultaneously on several sheets.