Conversation so far:

Question: what's the difference between f5 and ef5
Self-contained rewrite: what's the difference between f5 and ef5