function getOptions() {
	const exclude = useIncludeAndExclude ? $exclude.el.value.trim() : "";
	const include = useIncludeAndExclude ? $include.el.value.trim() : "";
	const caseSensitive = $caseSensitive.el.checked;
	const wholeWord = $wholeWord.el.checked;
	const regExp = $regExp.el.checked;

	return {
		caseSensitive,
		wholeWord,
		regExp,
		exclude,
		include,
	};
}
Retrieves the search options currently set in the user interface. This includes
search parameters such as 'case sensitive', 'whole word', 'regular expressions',
'exclude' and 'include' depending on whether they are checked or filled in the UI.

Note that the 'exclude' and 'include' options are only retrieved when
the corresponding UI section is expanded (i.e., `useIncludeAndExclude` is true).

@returns {Options}