Add Export Code as HTML feature. fixes #645