Minor point of correction: Libre Relay is a thing that eliminates almost all the relay restrictions (I think it only keeps the forward compatibility rules that reduce the risk of consensus changes causing forks, and some anti-DOS attack stuff).
Correction to your correction: Libre Relay only (at the moment) eliminates two of Bitcoin Core's relay restrictions: the OP_Return limits and the restriction on using taproot annexes. And for the latter, Libre Relay adds a new set of standardness rules, requiring non-empty annexes to start with 0x00 for forward compatibility, and requiring all inputs to have an annex if any input does (this prevents transaction pinning). Libre Relay at the moment doesn't even relay dust outputs, and I haven't changed the rules on V3/TRUC transactions (which also prevent transaction pinning). Libre Relay also keeps Core's (mild) limits on taproot witness scripts. I may remove those in the future. But only if I can convince myself I'm not opening up any DoS attacks.
Overall Bitcoin Core is actually already pretty close to relaying all consensus-valid transactions with actual economic demand. I've only removed some remaining "paternalism" to prove a point - as you correctly observe above, Libre Relay is, to a degree, a piece of performance art rather than a serious attempt to fork Core.
That said, you're also not wrong: since Bitcoin Core is pretty close to relaying all consensus-valid transactions, you can argue that Libre Relay eliminates almost all the relay restrictions other than forward compatibility and anti-DoS stuff.
