I find it a little weird there’s a section in GitHub for “Developer Settings”.