Re: [WikimediaMobile] Following up on the mysterious bad filename bug (62241)