@yalepilot & @damonlynch thanks for this exchange. For whatever reason, I couldn’t figure out how to uninstall this until Damon mentioned the obvious. I ended up using synaptic, but any of the package management tools (e.g. apt) will do.
fwiw, Damon, consider mentioning this on the 0.4x FAQ.
Best,
-C