You are right. I didn't know that github is also used for bug reports so I only checked if I could find it here.
diverse behavior of [keyup] and [keyname]