Developer manual: add introduction