Docker version mismatch 2.10 vs 2.11?

[weaversa]

nightly: Pulling from galoisinc/cryptol
75646c2fb410: Pull complete
d13ba78cd95a: Pull complete
22529c01b3bd: Pull complete
7d26e81542f0: Pull complete
eecb6af1fe65: Pull complete
Digest: sha256:3db57e9aba8388793f578b33303f71ee4133cf839c52615876424df40a248108
Status: Downloaded newer image for ghcr.io/galoisinc/cryptol:nightly
ghcr.io/galoisinc/cryptol:nightly
┏━╸┏━┓╻ ╻┏━┓╺┳╸┏━┓╻
┃  ┣┳┛┗┳┛┣━┛ ┃ ┃ ┃┃
┗━╸╹┗╸ ╹ ╹   ╹ ┗━┛┗━╸
version 2.10.0.99
https://cryptol.net  :? for help

Loading module Cryptol
Cryptol>

[atomb]

It looks like I forgot to bump the version on master after the release. There's a PR in place to fix it now: #1148