Funny to see this, I was just going through some old playlists today and listened to some Extol. Not one I think about often, but a fun band!

If you actually just download a .py file, you need to run it with python. Like in the example you linked, something like

python3 _filename_

(and if that’s the case, you might need to add a line at the top of the file, telling it where the interpreter is. But probably you actually want the following)

To install, you use the python installer program, pip. Something like

pip _package-name_

Before you do either, you need to install python and pip. I don’t know exactly (look for correct package names), but you need to run something like

sudo apt install python3 pip

The Ink Spots are an interesting case. They’re a vocal group from the 30s. Not only did that group Theseus itself and then dissolve by the 50s, but afterward there were legal disputes. A bunch of the past members claimed rights to the name. Courts ultimately said ‘nobody owns the name, you can all use it’. So anybody with any connection was going around performing as The Ink Spots, and those groups were also changing members. Over the decades there were probably multiple fully Theseus’d versions of the group going at the same time.

Andrew Hickey has a good podcast episode on it that you can listen to/read. https://500songs.com/podcast/the-ink-spots-thats-when-your-heartaches-begin/

Here’s a couple I’ve seen around, tho I haven’t dived too deep:

• OpenGameArt (Usually kind of a mixed bag on quality, but the site has good concept and intentions)
• https://musopen.org/ (public domain, classical stuff, also a bunch of sheet music if you want to do things the hard way)
• https://degitx.com/ (an individual that produces rock/metal/chiptune kinda stuff and puts it out under CC licenses)
• https://gravitysound.studio/ (Had it bookmarked, but it seems the free page is gone or at least moved. Looks pricey, and terms don’t seem clear)

I do not see anything to be angry or disappointed about?

Verification badge was good, the dumb thing Twitter did was throw it away by letting anyone pay for it.