Trying to add a nice little
LEAN_VERSION argument to the Dockerfile. But for some reason, the git tag for releases uses a lower-case ‘v’, and the release archive filename uses a capital ‘V’, so the URL path is:
That seems…an interesting choice. In any case, I’ll add the ‘v/V’ to the argument expansion, but it seems…fragile.