highly useful developer tools that you probably don’t know ...