Fix developer manual link