tough decidions

My third-party Arch Linux repository went offline. The fix is trivial, but the hosting provider is on its last breath.