Remote

Merge changes from the svgtex project