We are going to do a lint-only PR soon (this week, no owner yet).