<div dir="ltr"><div style="font-family:courier new,monospace" class="gmail_default">​I've given up on this for the moment and will try again when<br></div><div style="font-family:courier new,monospace" class="gmail_default">5.0 comes around, hoping CI already has such a successful<br></div><div style="font-family:courier new,monospace" class="gmail_default">profile in the build matrix already.​</div><br></div>