[webkit-dev] a question on printing: whither WSIWYG?