Adding svg2tikz-generated figures for the manual