Setting up a keyboard replacement is the way to go here. Solves the issue for all devices.
Reply on news.ycombinator.com