Filter commands from zsh history by number of lines too

[Julian]

Or maybe do this by filtering out lines based on whether they were typed out vs pasted in.