chore: simpler 'reproduce' page
chore: push your own plugin last
chore: remove tabs "corpus" and "contribute"