chiark / gitweb /
delete docs/persistent_naming - obsoleted by persistent disk names