That comment thread, esp. comment 148, seems to imply that Cinnamon will _not_ be part of Fedora 18. At least as I read it.