Ha, turns out the guy I emailed doesn’t know either. I could do without all this right now.