More tricks
Merge branch 'master' of github.com:bripkens/dotfiles
Convert SVGs to PNGs and dock extensions for MongoDB and MariaDB