Completely changed mike.html. Doesn't work correctly for reasons I

don't yet properly understand: something the current MKWS JS is doing
seems to be breaking the CORS stuff. My attempts to figure that out
are being thwarted by my git checkout having got into a weird state
where it's ... ah, I can't even explain it. Anyway. I'm hoping that
checking in this intermediate state will at least placate git to the
point where I can go back to working on the actual problem. Sheesh.