Currently it pre-imports webrepl, but doesn't start it.