Fix definition list syntax in the manual.
Update remark about @comment on web page.