chiark / gitweb /
missing: define name_to_handle_at on our own if it is missing