Fair point, I'll change (only after outing myself as somebody who pays more attention to writers than physicists)!
The argument is rather pedantic to me since the word Sun comes from the old English, Germanic, and European, whereas Sol comes from the Latin, Helios from the Greek, svár Sanskrit, etc. They are all valid names for our local star.