[binary_ninja]

I would assume the people that actually develop those either already are RHEL customers or they would just pay a single subscription so they can download the code and keep it in sync