OK I can confirm that does work - not sure why it didn't work for me previously, I just got repeated upper case letters! However it's almost as many keypresses as an extra letter+left+delete+right and it also requires two fingers/thumbs on the keyboard at once. It's a temporary solution/workaround and useful to know, I'm just glad the bug is now fixed for the next release!

Turn off auto capitalisation in the settings. Double press of the shift key only works in the browser.