WordPress Gear: useful developer tools

WordPress Gear is a “compendium” of useful developer tools for working with WordPress. I like what I see. h/t @paul_wp