Currently, there is a section at the very end of the documentation. This option should probably be presented far earlier so that users are aware of this.

Typically, in the Backend section, we present JMS and JGroups as clustering alternatives but we don't talk about Elasticsearch whereas it might be the best choice for a lot of use cases.