> we could have a much better document format and publishing system around it.

TeXmacs (http://www.texmacs.org/ and http://forum.texmacs.cn/), and it happens right now!