I created an issue on 26/07/2021 (or 07/26/2021) about a problem I had on SSH keywords matching. Here is the URL.
I noticed that the issue was put in private so I can delete/remove this topic if you think it is better to discuss about this issue in private.
It looks like devs are trying to fix the problem (thank you very much).
But, as far as I understand, the PR URLs mentioned in the issue comments seem to be related to another issue.
Am I missing something?
Thank you for your time.