the name "mwc-ripple" has already been used with this registry

[judge2005]

I include these two modules:

<script type="module" src="https://unpkg.com/esp-web-tools@9.4.3/dist/web/install-button.js?module"></script> <script type="module" src="https://unpkg.com/improv-wifi-serial-sdk@2.5.0/dist/web/serial-launch-button.js?module"></script>

And have both and button on the same page. If I try to use both buttons without refreshing the page, I get:

serial-provision-dialog-8dcc4267.js?module:1 Uncaught (in promise) DOMException: Failed to execute 'define' on 'CustomElementRegistry': the name "mwc-ripple" has already been used with this registry