Merge "make help: prints a handy list of useful targets"