Switch from "substitutor" to much more memorable name

One that reflects the extension's lineage, to boot.