Relation to the Apalache wiki?

[ahelwer]

Apalache has quite a developed wiki, which is also written in mdbook; see: https://github.com/informalsystems/apalache/tree/main/docs

While a lot of it is Apalache-specific, it also has an excellent reference section for TLA+: https://apalache.informal.systems/docs/lang/index.html

What is the desired relationship, if any, between this wiki and that wiki? The wiki is licensed under Apache 2.0 as far as I can tell.

[FedericoPonzi]

I expect the TLA+ wiki will have pages that talk about apalache. If they want, I don't see a reason why they can't move the wiki over the TLA+ wiki, but if they're happy with their current setup I dont see a reason to force them to move either. Though it's good to know they're with Apache 2, I'm curious to see if LF has a different, preferred license