Rename some arena puppet attribute extensions to be more descriptive.