Closing it since it seems to be a false alarm
wangshy → created an issue.
Reviewed and tested on the issue fork by @reszli
The idea to alter links to checkbox by javascript is not ideal. It makes the significant front-end update only after the page is fully loaded. In some scenario e.g. slow network or low end, this is not unnoticeable. Checkboxes would be ideal to be separate widget that renders checkbox elements directly.
wangshy → created an issue.
wangshy → created an issue.
wangshy → created an issue.
#6 patch has some bug that has conflicts in settings. Updated by using drupalSettings
Attached is a more universal patch that update headers with its original format and token replacement. Ideally footer / no-result-behavior should have same update but I don't bother include these in my patch.
attach based on 8.x-1.0
wangshy → created an issue.