cocalc now properly works; also add a concrete example of an "astral plane unicode" identifier, so anybody can easily see what happens in the Jupyter client of their choice.#468