Alex Henrie authored Jun 21, 2021 and Ville Skyttä committed Jun 28, 2021

If the user has no program installed that handles .url files, the file
should open in a text editor so that the user can copy and paste the
URL manually.