Import source from TeXPortal