Xen Name History Finally Solved

For those of you tracking my “History of Xen” blog series, I am proud to announce that we finally have the story of where “Xen” came from – check out this comment.