Interrupt still happening after detached. ( fix now available)

Using Arduino Programming Questions
22

I ran 12 permutations of the 4 clearing methods against each interrupt and both interrupts simultaneously. (Just to make sure nothing unexpected happened) (Of course, there are probably more conditions I didn't think of.)

Both of these methods work, and work exclusively on the interrupt flag they are meant to clear.

EIFR = 1; //use before attachInterrupt(0,isr,xxxx) to clear interrupt 0 flag
EIFR = 2; //use before attachInterrupt(1,isr,xxxx) to clear interrupt 1 flag

or

EIFR = (1 << INTF0); //use before attachInterrupt(0,isr,xxxx) to clear interrupt 0 flag
EIFR = (1 << INTF1); //use before attachInterrupt(1,isr,xxxx) to clear interrupt 1 flag

Which method would be better to advise users in the Arduino's attachInterrupt() documentation?

In my opinion, even though the first method looks more straight forward, the latter keeps the 0 and 1 aligned with the interrupt numbers, so would be less prone to an accidental mismatch. There are probably other advantages to the latter method as well?