rename HTML page.
apply the same rename to relations and properties page.