@User sounds good. In that case, I'll probably just stick with the github as the canonical source URL, since that's simplest for me to navigate. Somewhat relatedly, I have some build system tweaks for you: https://github.com/RTimothyEdwards/magic/pull/41.