chiark / gitweb /
Allow initials-based abbrevations for ship names