I moved it back. Eventually, these files should both be library code and we can call them either from the HTML file or from a third JS file.