tweak exported HTML
remove gh-pages stuff from NOTES