Thanks for your reply on my talk page.  I think I understand it now.  I've just written the instructions Wikipedia:Redirect#Checking for double redirects.  Note Wikipedia:Redirect#Don't fix links to redirects that aren't broken;  article pages linking to redirect pages don't need to be fixed.