Add explicit "@section Introduction, intro" (now required by vimdoc)