Stefan Holderbach ab77bf3289
Fix search terms for str distance (#6398)
Redundancy with the command name is unnecessary and now tested since #6380 
Fixes CI failure
2022-08-24 11:49:03 +02:00
..
2022-04-20 08:50:14 -05:00
2022-08-18 21:14:17 +12:00