Mention Linux clipboard bug