ffoo's mkpretty.sh is now called pretty.sh