remove some redundant sections from dev docs