On topological groups with a first-countable remainder, III

We prove a general theorem that allows us to conclude that under CH, the free topological group over a nontrivial convergent sequence S has a first-countable remainder. It is also shown that any separable non-metrizable topological group with a first-countable remainder is Rajkov complete.