Added tab-based interface to userpage UI. Yes, it is plugin expansible, and yes, it breaks existing plugins that add code to the userpage (but that can be fixed with a "colspan=4")
#!/bin/bash
for f in *.svg; do
echo Converting $f
fname=`echo $f | cut -d '.' -f 1`
rm -f $fname.png
inkscape -z -f $f -w 22 -h 22 -e ./$fname.png
done