We have a minor style preference to not having .html in service manual links. Both will work.