renaming stuff in html plugin