Fix #79: Document Verify view, `next` argument, and other small fixes.