chiark / gitweb /
delta: use same nomenclature for equivalent and redirected everywhere