Editing developer intro pages

See tickets 10212 & 10199