On 19/07/2017 05:03, Andrew Parsloe wrote: > A small detail: I notice that the date below the title line of the > latest interface3.pdf is 20 May 2016 although the document contains > updates from late June 2017, e.g. in l3file. > > Andrew So it does: fixed for next release. Joseph