Yeah apparently. Or they downloaded one of the (bug-free) native versions after they encountered the bug on the web version.