I was looking at the GITHUB issues and came across 159, which documents the problem with the options menu not resizing and thus presenting a difficult to use interface especially when the GUI language is French. The issue contains this suggestion.
Perhaps renaming the French title for ‘Passmarks’ to ‘Encoches’ will solve the problem (and perhaps renaming the English “Passmarks” to the correct term “Notches” at the same time)
Is there any discussion about changing to the use of the term Enoches for French and Notches for English? I would look into those changes as well as the resizing issue, and I am sure they would be changed in different files.