Banner in HTML docs?

We should maybe warn people that what they see is the dev version &
they can access the docs for the released versions by using a prefix:

https://stackoverflow.com/questions/74857243/lookup-using-maps-from-data-tree-avl-map-in-agda