cl-pushnew can add multiple copies of the same string to a list, and add-to-list is also probably more idiomatic in elisp.

push can add duplicate elements, and that’s not what we want as an example.