Yes, Blockstream's Jade wallet and Trezor are also open source. Not mentioning them was primarily a consequence of not providing an exhaustive list, but just a few examples.

As for the ColdCard not being open source:

nostr:nevent1qqstp3a930ewv0s87d7uy6q04s8mcw7hqp2u66pfks4ycavk2yyankcppemhxue69uhkummn9ekx7mp0qgs97jq6fffysr27y7trqwac04rhx6q5yx9usvawzeccxffa9053hmcrqsqqqqqpdngq9k