Comment by drob

Should work fine. Ping me dan@detail.dev or @danlovesproofs with your account info so we can look into it?