The link should be `/releases/4.01.0.html`.  However, one may not want to have to update it manually (one likely will forget).  So a script checking the latest version available in `/releases/` would be good.  Or else, change the text and simply point to `/releases`.