Comment by 65

Fair point, I don't think it should have been changed in the first place. But it's been changed whether we like it or not. If it was "main" in the first place I think that's still a better name than "master."