While encouraging db1001 clients to use dbproxy1001 I noticed contacts.wikimedia.org mysql config is unpuppetized with hard coded database host names.
T84158 suggests contacts.wikimedia.org might just go away soon... if not, it would be nice to fix the config.