Add to write_html; don't include help files for these functions