He doesn't mention putting it into PROGMEM
But he does:
After making slight modifications to a few characters based on my research, I loaded the character literals from my segmented ASCII library as arrays into the Arduino’s flash memory. Then I wrote a function to set displays to characters.
Not that that's all that helpful without an explanation of HOW.
And, yeah, snippets suck. At least he should have posted the complete program.