Linux dev quits after "personal attacks" from user over antivirus tool