Should I update this extension with git pull if I'm on another distro (not pop!_OS)?

[rdong8]

Or do I need to delete it and reinstall it? And how would I do that, can I just remove the directory that it created?

[metamacro]

In short you can just git pull and make local-install.

To answer more thoroughly, if you look at the local-install: target of the Makefile, it has a prerequisite install, and if you look at the first command of the install: target you'll see how the same code as the uninstall target is executed, which effectively first removes the old build and the subsequent commands replace it with the new one.

Hope this helped. ^^