Sync with page_help() in lib/ui1.js