| 22 May 2025 |
 uep | well, it worked. it says there are still ~4300 users though, so.. the tombstone really didn't go far? | 03:44:04 |
| uep | it also doesn't help that the new room is invite only and they probably can't join. uugh | 03:45:15 |
 Zhaofeng Li | also do clients actually leave the old room when they join the new one? | 03:45:38 |
| Zhaofeng Li | maybe it's just hidden client-side (I'm still in the old room, despite it not being on the room list in element desktop) | 03:46:30 |
| uep | yeah, maybe it's not a useful figure. Dunno. I can see the room via your link above, but not any other way that I can find | 03:55:27 |
| Zhaofeng Li | you probably can get a list of all the rooms ("active" or replaced) you are in from the API | 03:59:28 |
| Zhaofeng Li | and we probably should have a list of them written down somewhere | 03:59:52 |
