Ho risolto mettendo il codice in un .js e facendolo caricare da Blogger con il <script src>: questo credo confermi che è il compilatore di Blogger che è particolare.

Nessuno sa indicarmi dove guardare per imparare a far digerire i codici a Blogger?