Did all of the /r/learnjapanese users just migrate to Discord and call it a day?