It worked perfectly!!!! Thanks so much szafranek for helping me commit an act of justice.

Hopefully it helps some newbie like me to say that, since the script outputs an HTML file, one’s own comments with symbols may have messed up the whole code. Then the new service will import bookmarks up to where it finds a tag that doesn’t understand. Don’t blame the script: replace the damn symbols with &lt and &gt respectively.