Version 3.8.9

18 Jan 2021

If the results list is grouped, we added an option to display a select list to quickly jump to a group (group-jump shortcode parameter).
Misc JavaScript and CSS adjustments for better compatibility with other plugins.