These are the files of the Javascript interface.

They do not use any Python file.
