Rohan had used GitHub Desktop on his Windows machine before, but he had recently switched to Linux, and he wasn't sure if the application was available on his new platform. He quickly searched online and found that GitHub Desktop was indeed available for Linux, and he could easily download and install it.