Migrate a topic to GitHub

Integration with those aspects of issue tracking are what give the discussion its most valuable context. They’re not “jammed in” just because it’s nifty.