I have tried the workaround, and it does seem to take care of the problem, from my limited testing. One note… I’m using Keyman 10 Alpha, so the location of the registry key that I needed to add was:
Note that it isn’t just changing 9.0 to 10.0 in the registry paths as Marc suggested, but the base is Keyman instead of Tavultesoft as well. Maybe this should be noted in the HOWTO?
So now the questions become: Are there any bad side-effects of this change? Is Mozilla fixing these problems, and will those fixes then be integrated into Paratext? If so, when can I expect that it will be safe to remove this registry entry again?