chiark / gitweb /
rename nonpage_ok to check_nonpage