Remove unneeded API from `theme-tool`

5ce147a2adNate Butler committed on 2/13/2023, 2:04:54 AMparenta32c0d1
1 file changedLine totals unavailable