chiark / gitweb /
is_page: remove obsolete hook