agree in theory that we shouldn't change user-metadata and instead change execution result.

Haven't thought through implications, but it would probably break too many formatters.