Accept users may end up with the non-latest release? How about hard-coding the build number that *will* be used for 5.0.2 and if we miss that, well, we'll open another docs PR?