[08:18] Today: [08:18] * A little back and forth on how hard to try to fix display naming for platform-API [08:18] * Decided to fix it once and for all by incorporating physical identifiers in the CardId [08:18] * This hasn't been widely tested, and *will* result in weird Card: identifiers, so we should check whether that's acceptable [08:36] 😱 [08:37] Oh, no. I hadn't thought of upgrades! === Saviq changed the topic of #mir-server to: Best consumed through Matrix: https://matrix.to/#/#mir-server:matrix.org | https://mir-server.io/