But that's why 9front was forked, right? They say it on their FAQ. Even though Plan 9 isn't being developed anymore, doesn't the fork cause worry that one day they become too different, especially since the community is rather centered around Plan 9 rather than 9front? Or is the community actively trying to make 9front be accepted as the official continuation of Plan 9?