chiark / gitweb /
site: Rename setup_priority to our_name_later