This patch looks useful to me for two reasons: (1) we won't have to manually count Re prefixes in a deep discussion and (2) it removes distracting cruft like personal monikers from the title.

Cool!