Slightly tangential question: why call it "lively.next" ? What is the .next? I understand including a ".tld" in a name when the TLD is part of the domain name, but "lively dot next" doesn't exactly roll off the tongue and .next isn't even an available TLD?

We first wanted lively.web but then came the .web tld disaster .

.next was chosen b/c there were / are several versions of Lively over the years with version numbers LivelyKernel 2 [1], Lively4 [2], etc. lively.next should simply signal that this is the ongoing and evolving project in the Lively family.

[1] https://lively-web.org [2] https://github.com/LivelyKernel/lively4-core