Didn’t know this guy before but it really doesn’t matter if he was literally Hitler and decides to start using Linux. It’s an operating system not a club, it really makes no difference. Maybe slightly more moderation for people on linux communities on mainstream platforms (e.g. reddit).