They could have been using it in browser. One of discords underrated decisions is that the browser version is fully featured and doesn't force you to download the app, a new user can join a server in their browser with just a name which is as low friction as you can get.