Html editor font-size fix
Fix additional repository file name