j
k
j a
j l
The encoding changed a while back. I'm not sure when exactly, but it works a lot better nowdays, so perhaps it's not an issue any more.
Back to the thread
Back to the list