Could you lay out some of the differences between Zircon and Redox? I know that both are vaguely Plan 9-inspired, but some of the finer details are unclear.

(This would be a great thing to flesh out in the official docs, currently there are a lot of TODOs in those sections)