markup; fixes for HTML and PostScript output.
- Also, fix the accident duplicate of aio_suspend(3) entry.