Orphaned dependencies on uninstall is a much more frequent case than this one and we should definitely have a tool to be able to get rid of those.
Apparently there is no other ticket for orphaned deps cleanup upon extension uninstall...