Remove WriteHtmlWithoutFormattedTips

We have code in FsReveal now.