Committing all sorts of lint fixes, and updating mysql