Probably about time we mentioned the nascent Unix port in the FAQ.