Email sent. If you don’t want your email address public like this now, you can edit your comment and redact your address.
