I'll trust you that these are up-to-date with the links that are in HEAD, but please double-check? I recall one of the more recent pull requests I merged including changes to these links and I'm not sure if your branch would have been from code that recent.