* Pet portlint and portclippy * Tidy up Makefile with portfmt Changes: 6ca97da...4a45386
6ca97da...4a45386