Migrate from PlushForums

Is it possible to migrate from PlushForums? As far as I know it’s a fork of Vanilla (or was in 2014) and I can see that there’s a Vanilla import script. Does this work with PlushForums?

I’ve not heard of PlushForums, and presumably you searched. What I would do is to try and see if it works.