Why are there so many Linux terminal programs?