Comment by wietze

The most important import doesn't work, unfortunately:

  import antigravity