Should we make a `gboard` tag alias to `google-keyboard` or vice versa?

Question

Recently, I believe Google renamed their keyboard to Gboard.

Should we make a gboard tag and alias it to google-keyboard? Or should we do the opposite?

Answer 1

I have added the synonym gboard to google-keyboard. We can reverse the direction later if we find there is confusion.