Fix s: searches
remove "!lem" again because it messes with results
switch from p2 scorejump to p3 showblock
interpret exemplars containing only ($…$) as intra not inter
make s:du~s:za work