Please document how we add new properties to `Error` more