We've moved! Check out the CircuitPython kernel over at https://github.com/adafruit/circuitpython_kernel