I have little confidence that a bug report I make to a large company is read by anyone. Particularly when it's in a generic feedback form. That applies to feedback for Google products.
I suspect this post on HN is more likely to make its way back to a Gboard Developer than submitting feedback in the app.
Anyway, this may well be the finest bug report the team behind the Google keyboard has ever received, and I hope, as a reward, they actually fix the issue :-).
Good job!