Device IDs containing literal % characters (e.g., "202BC1-CODA%2D5519-000000")
are double-encoded in URLs. Mithril 2.3.8 incorrectly double-decodes route
parameters, corrupting device IDs with special characters.
Workaround: Extract device ID directly from window.location.hash and decode
once to get the correct value.
See: https://github.com/MithrilJS/mithril.js/issues/3064
Zaid Humaimidi
f9ee39dfd0