More work on animate_a_set_along_a_path.js