Hi all, I noticed that appinventor has changed name upstream, the maintainer has dropped [1] appinventor-extras for [2] appinventor-setup. He asked in the comments of [1] to delete it