doc: align manual, developer guide filenames with wiki
doc: sync latest manual/dev guide from wiki