the include pre-releases" toggle may better be hidden. If the user wants a pre-release, they should probably go to the "manage app" page anyway.
I don't fully agree with this, we have this functionality and it benefits for the user when need to keep it here. In essence, AiiDAlab encourages quick development so the pre-release should be common. Let's discuss!
Suggested by @danielhollas,
I don't fully agree with this, we have this functionality and it benefits for the user when need to keep it here. In essence, AiiDAlab encourages quick development so the pre-release should be common. Let's discuss!