My thinking on this is influenced a lot by Steve Yegge’s “The Nonesuch Beast” essay. Design and UX problems can be just as intractable as big-O algorithmic problems. A good WYSIWYG editor of arbitrary HTML is just as impossible as the halting problem is impossible.