No matches were found for subject:"\[okular\] \[Bug 420459\] Wavom tablet pen\: Highlighter has an offset, highlighting not immediately visible, page jumps"