I'm switching email providers

[Joshua Branson]

This may or may not be worth it, but I wanted to give you all a heads
up.  I'm switching my email from jbra...@fastmail.com to dismail.de.

Thanks,

Joshua