On 3/25/16 3:04 PM, Anon wrote:
These repetitions could be eliminated relatively easily (from a user's perspective, anyway; things might be more difficult in the actual implementation). Two changes to the mangling:
[snip]Please add these ideas to the bug report! I'm not sure if it completely fixes this or not, but it's worth exploring options.
This is similar to how I was thinking we should approach this. -Steve