getting HTML source or rich text from the X clipboard getting HTML source or rich text from the X clipboard linux linux