using <$monthname> and other building blocks
I probably ought to know this, but have never run into it before – I want to pull the month and year from the file timestamp for a not-too-fine-grain indication of when the file was last updated. A bit to my surprise, creating a user variable with <Default ¶ Font><$monthname><$year> doesn't work: it just inserts <$monthname<$year as a literal. Hints and tips welcome!
