An ex-Googler's guide to dev tools (2020)