Спасибо!
Проверил новое правило командой
fail2ban-regex /var/log/auth.log /etc/fail2ban/filter.d/sshd.conf
Тот IP теперь отхватит банан.
Правда, несколько других IP попадают теперь два раза за одну попытку — я так понял, что будут забанены быстрее, но это уже не существенно для меня…
Решено.