<div dir="ltr">Hello,<div><br></div><div>I've tested sending an email to <a href="mailto:maurelio@tools.wmflabs.org">maurelio@tools.wmflabs.org</a> to see if that worked, but I've not received any mail despite having verified my wikitech email account. Are the docs outdated here or there's an error in the mail processor?</div><div><br></div><div>Thank you,</div><div><br></div><div>MA</div></div>