Arch Linux lost one of its biggest contributors