I'm not a professional mathematician, but as far as I know those are relatively standard, widely agreed positions.
Also, the four color theorem is not the only theorem that is impractical to prove by conventional means, another relatively famous case is the classification of finite simple groups.
Furthermore, we now have mature proof-checkers (Coq, Isabelle, Matita) that have been successfully employed to formalize the proof, so the argument that "the four-color theorem doesn't count" is even less convincing than it was at the time.
Also, the four color theorem is not the only theorem that is impractical to prove by conventional means, another relatively famous case is the classification of finite simple groups.
Furthermore, we now have mature proof-checkers (Coq, Isabelle, Matita) that have been successfully employed to formalize the proof, so the argument that "the four-color theorem doesn't count" is even less convincing than it was at the time.