The small updates for FrACT₁₀ today comprise the following:

That allows me to close another 2 issues (github issues section). Possible downside: The settings will likely reset to their default values; but for ongoing studies one of the “frozen” versions should be used anyway.