WordPress Developer Resources
File: wp-admin/maint/repair.php
Filters additional database tables to repair.