Re: [NTG-context] Metapost: How to get total number of pages?