Manual.md: last conversion tweak.