[WikimediaMobile] User banned (was: https://lists.wikimedia.org/pipermail/mobile-l/attachments/20180510/08ed9de7/attachment-0001.html)