Dev edition: add introduction, plus various tweaks

Add a description of Dev edition: add introduction, plus various tweaks