So what we should do with this? I think we just have to remove virtualplanet
from kickstarts.
Yes, please, should I file a PR or can you just make the changes?
Sorry for the trouble, I retired virtualplanet, but I didn't think / didn't know
about the kickstart...
Mattia