Thank you for this! I've been suggesting the same thing lately.

And maybe as a first cut, keep n^x but let the witnesses vary x in the range 1 < x <= 2. I think this makes a change, but keeps it close to the original intent, so we can evaluate the change and then let the witness tweak it from there, without the need for further hard forks.