I see, a man of culture. Rest in Peace RIF!

But don’t they have to publish the changes they make the to kernel and or GNU-Tools since they distribute the compiled versions of it (License Wise)?

Furthermore I remember seeing some activity at their GitHub page for the/some kernel but I may be mistaken.