"Hi Leslie, Thanks for that, it fixed the issue. Hopefully the next update will have a fix as well!"

"No problem at all! I ran it through that (should have done that in the first place), but I only come up with 28 347 lines total. I'm also..."

"Brilliant! Thank you very much. One question about your fix though, you mentioned replacing the function on line 29,238 with some other c..."

"Aha, thank you! You're right, it's in mobile/player_compiled.js at the end of line 618. Deleting that part (naturally) broke the player, ..."

"For reference, this is what it's coming up with:"

"Interesting, I wonder why it's doing that here and not in non-HTML5 exports? I thought Audio was supposed to be taken from the HTML audio..."