Hi, is the name of a patch part of its identity (and thus presumably fixed for all eternity, at least as soon as there are other patches that depend on it), or can I rename a patch after it has already been recorded? Thanks, Albert.