I think the second option is more to do with preserving the letters of the original, as with keeping the double F. In English the two Fs do not alter the pronounciation, except perhaps indicating an...