Update extension-compiled

(update detected by update.sh)
Update core-compiled

(update detected by update.sh)
Improve update.sh, document

I'm guessing it was desuwa who was keeping the non-compiled
versions up to date, and whatever other developers moot has
are even more lazy than desuwa.