chiark / gitweb /
Cope with {{ }} rather than [[ ]] in arch labels