This was discussed when Ghidra was first open sourced. To the best of my knowledge, nobody's found an NSA backdoor in Ghidra.

Without providing any proof that either this or SELinux is backdoored.

Well it’s open source, so you can check in principle. I would imagine there’s some fame and notoriety in discovering that.