Tool for exporting figures as vector graphics (and also others) - View it on GitHub