Move PreTeX docs to PreTeX plugin