This extension enhances the select dropdown functionality on the gov.eclipse-rp.net website by adding a search feature.…
