Exactly - it was $500 for Plan 9 versus $0 for Linux which included all the sources until nobody was interested in Plan 9 anymore.