New pull request for F8 history for cmd

I went through some gyrations to try to evade some github backend shenanigans (got rid of that "jazzdelightsme-duplicate" account). Let's see if this pull request works better.