I just wanted to give a statement (meaning) that you should leave it as it is although it is redundant. Nothing more. I like it as it is. But of course there may be reasons to remove this. And may be I will like this even more.
The Autohotkey documentation of is really good and helpful. But also the good could get better.
(Your Questions are rhetoric (sorry for my english). "So should every page's content be duplicated on every other page where a user is likely to look for it? Would you have been unable to find the key name if you looked on the Send page and found only a link to the key list?" You could only answer No and No.)
But nevertheless i want to say thank you for your work!
And also to all the scriptwriter!
I use Autohotkey everyday and it has given me my job!
Keep it up!
And now popcorn for the EM 2016 !