Seed7 is finished. Not sending to ports@ yet because I have a backlog building on-list that I should commit first (anyone want to give me oks?).