Do the following,
print(name, points, sep=":", file="Highscores") # Mike:23
You don't even have to do str(points). Works for any data type. And adds a newline by default. It is very efficientefficient compared to custom acrobatics using .write().(Beazly)