doc/dev-manual: Fix typo

Wasn't able to recompile the resulting PDF and HTML files, since I do not have `pdfswitch.sty`.