Editing wiki's for developers