[suggestion] Toggle for jdk.incubator.vector

[mrfloris]

trafficstars

Today I've learned that Paper doesn't use the API that enabled this, so it's not needed. That this is basically for Pufferfish and some other forks.

Could there perhaps be a toggle or selection for type of server engine, so --add-modules=jdk.incubator.vector is optional, or when they select Pufferfish, etc. that it includes it (so when we pick Paper it doesn't)?

Just a small suggestion for a tweak.

[emielderckx]

This issue provides some useful information (mainly the last comment by Kevin) https://github.com/pufferfish-gg/Pufferfish/issues/46

[encode42]

Already added in the v2 rewrite

[encode42]

This issue was forgotten about! The site already has this toggle, albeit unintuitively. It can be toggled via the very small and inconspicuous wrench icon next to "Flags". This will be improved in future iterations of the site.