Sessions: fixed logout() destroying normal session (instead of elevated) if $level = USER_LEVEL_CHPREF. Possible very minor security concern: elevated sessions were not fully destroyed, so if a normal session is opened from the same IP, the elevated one may be reusable for 15 minutes.

#!/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