Various improvements

It only accepts two strings, so the second one is Str[1].

Merge request reports

Loading