Unable to find Edit HTML/CSS for default selected Theme

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