Removed obsolete manual.html in core