How are variant keys decoded? #384
Description
In the "Resolve Preferences" subsection of the "Pattern Selection" section (line 66 of formatting.md), the text "Let ks be the decoded value of key" appears. The document doesn't specify what it means to decode the value of a key. The meaning of "decoding" a key should either be specified in the document, or if it's meant to be implementation-dependent, the document should say so.