Is topping up a hot tub from the garden hose okay?

A mains hose is the simplest way to top up, but UK water hardness and the hose itself can cause grief. Here is how to do it the right way.