chiark / gitweb /
tripe-keys: Use curl instead of wget.