OK, I've searched some more and have seen references to opening .deb files in the File Manager.

I see in the tarball that there are three files with "-dev" in the name, three files with the same name except "-dbg", and three files with neither string. And one file with "-doc" in the name.

So - do I install by using File Manager to open the three files without -dev or -deb, plus the -doc file?

Someone please just nod yes or no.