It’s not hard but it is a minor hassle given there is, now, a much faster workaround. So with Marcos’ nifty new app I just copy the text like normal, open my file manager, right-click in an empty area ...