Manually uninstall an extension
Not quite an answer to the question, but if you didn't know, there is civicrm_extension table and you can at least set it to not active

otherwise if you have cli (and eg are on Drupal) you can use


drush ceui


other such commands are listed here