HTML encode the restricton name.