Large cleanup of Preferences code, removes cruft from ancestor project. Deletes Texplorer extension. Moved back to Gizmo-Extensions project.