More TLA to drafts, and add a little more to Linux VM