You're right, it *is* in Core JSF.... now that I know the answer, I see it. <s>
Perhaps this tecnhique would have been a good addition to the "how do I..." section in the later chapter: "How do I read a session variable in a JSF page / Managed Bean?"