[[ StringDelimiters ]] Add temporary workaround to prevent performance hit from allowing arbitrary string delimiters
[[ StringDelimiters ]] Update filter command for arbitrary string delimiters
Extend native shortcuts to filter command; fix filter for case / form sensitivity options