-------------------------
Friday, February 16, 2018, 2:58:41 PM, you wrote:
> On 16.02.2018 12:51, Peter Toye wrote:
>> 2) In at least the Learning and Notation manuals, add an alphabet with
>> links at the head of each index. The indexes are (of necessity) very
>> long, and scrolling down them is a bit of a pain.
> In the HTML versions, all the indices have this at the top and bottom.
> You are referring to the PDF? I don’t know why they should be different…
> but maybe just switch to HTML ;-) Or file a bug report.
Yes, I meant the PDF. I didn't know they were different so didn't try the HTML. I'll put in a bug report, once I've worked out how to do it :)>