Oh! Interesting, more limited javascript feature support in that version of android/chromium. I can work around that in a future release, I just need to add some code to implement that language feature in a few spots.
