src/gui/about-html/ -> src/gui/about.html/