Developer Resources Perhaps better as a submenu? Code repository -- General Github how-to Snapshot builds and docs CHANGES Coding guildlines for submissions etc.