New email address
-----------------
Effective today, my primary email address is <
[email protected]>.
Consider my old <
[email protected]> address deprecated - it still
works for now, but I'll be gradually checking it less and less often
as everything migrates across, and its long term future status is
uncertain.