We should do something, but we can’t say “edit on Github”, most users won’t have repo access to do that…