Its the default Arial that unity always comes with. I'm uploading a patched version with a downloaded font now included in the project.
Great to hear FONTFIX works, and HOTFIX lets you place Extractors (it was broken on compilation/builds). Shoving is a oversight that's been in all versions so far (Sorry). I'm trying to come up with an elegant solution to it that doesn't require the player to place props apart with minimum distance.