Range slider submits URL encoded values

Problem/Motivation

It looks like the Range Slider widget submits special characters such as ():, URL encoded.

I can manually update this URL:
https://example.org/kort/hou/%28min%3A20000%2Cmax%3A48000%29

... to this:
https://example.org/kort/hou/(min:20000,max:48000)

... and everything works fine.

Curiously, raw values (as desired) are used right after saving the facet, if there are facet values present in the URL. Maybe because the values are not submitted via the slider.js jQuery file?

Steps to reproduce

Add a Range Slider widget, use it and see that special characters such as ():, are URL encoded in the address bar, like this:

https://example.org/kort/hou/(min%3A4000%2Cmax%3A36000)

When copied from the address bar, and pasted into a text editor:
https://example.org/kort/hou/%28min%3A4000%2Cmax%3A36000%29

Proposed resolution

Is URL decoding the values, before submitting them in the slider.js jQuery file a workable solution?

Remaining tasks

User interface changes

API changes

Data model changes