Moved source editor HTML to separate HTML file.