Who needs to do what to ensure that the fix/workaround proposed by @roman_r_m is included in the Joplin release schedule?