we maintain latest_stable_release.html by hand.