[anikan_vader]

Some sources do write ep after en passant captures. As you point out, it’s no more redundant than notating checks.

[Sesse__]

Notating checks is not even redundant; it can disambiguate which piece is to move without additional information (e.g. Rac1 and Rhc1; only one of them might give a discovered check, so Rc1+ could then be an unambiguous notation where the check is not redundant). The PGN spec is clear that SAN disambiguates legal moves and not pieces (if moving one of those rooks would put yourself in check, you should not disambiguate when you move the other one), but I don't know whether it considers the check part of the move for those purposes.

[yunwal]

I see what you mean obviously, but neither of those moves could possibly give a discovered check, right? If the rook starts in the corner of the board, nothing can hide behind it or attack from behind it.

[stevage]

It'd be a particularly cool position if, say these three moves were legal and distinct:

- Re4

- Re4+

- Re4#

EDIT

Ok, this seems to do it:

8/3Q4/4R3/6pp/2R2Pk1/6P1/4R1K1/3B4 w - - 0 1

Annoyingly, Lichess uses the rank or file notation in all cases.