Frege's use-mention distinction targets linguistic reference, not explanation. Applying it here risk...
This proposition has not been edited since the history system was added.