Adapt to arbitrary top-level domain including pencilcode.net.dev; and add ctrl-Enter hotkey.