JBIDE-12093 add missing about.html