Deleted development documentation (we'll package a manual one day).