(for reference: salvatore is the only bitcoiner that works at ledger and wrote the code for miniscript script-path spends for ledger)