Adding libraries from GitHub to Thonny IDE and encoder support in ESP32 MicroPython

Hello,
I have started playing with microcontrollers. And I am completely completely green. I have come to the encoder support. Although I have written a support for such an encoder myself and it works, but there are ready-made libraries that I would like to just add to the Thonny environment. Just how do I go about doing this? The libraries I'm interested in are on Github at the link:

https://github.com/miketeachman/micropython-rotary

I am supposed to add rotary.py and rotary_irq_esp.py, just how to do it? I've looked around the web, but there are only descriptions there to use this finder, what Thonny has, or somehow through PIP (and still somehow call the virtual environment - pulp), whatever it is and it applies to Python in general, not Thonny.

Nothing is added to the Thony environment. With this program you can write scripts (files) to the file system on the ESP32 (identical to the PC).
PIP is a script built into Micropython. It allows you to extract compressed files.

Here a man describes how to use the encoder: https://www.youtube.com/watch?v=hAU23t7IkLM&t=309s

I'm working in Thonny and he says you have to download the libraries from Github and add them, and he gives that address I mentioned. So how do you get it to work? Because somehow it has to be possible to enable support for these libraries; a lot of this guy has them.

Oh good, I see. I'm adding these files to the ESP32 memory. OK, just how do you do that?

You must have a connection to the ESP established with Thonny. This program sees the ESP memory in the same way as the folders on the PC.

thank you, I managed .