A text-to-HTML conversion tool for web writers