Rename bookmark_on_join to synchronise_open_rooms

See merge request !111

Also add some more documentation about it.

Doap update

See merge request !110

Add a /leave command

See merge request !109

Signed-off-by: Maxime “pep” Buquet <pep@bouah.net>

Signed-off-by: Maxime “pep” Buquet <pep@bouah.net>

Signed-off-by: Maxime “pep” Buquet <pep@bouah.net>

This is the other side of /join when bookmark_on_join is set to true.

It lets the user easily leave a bookmarked MUC from all of their clients
at once.

Import Message in basetabs

See merge request !108

Fix a type collision between Messages

See merge request !107

Fix many MAM issues

Closes #3516, #3496, #3498, #3506, #3522, and #3493

See merge request !105

- Wait until we receive our own MUC presence to fetch history
- Fix /reconnect weirdness

- Fix color & nicks in one to one chats
- Make poezio-facing functions "schedules" to avoid races on tab query
  state
- Rename functions
- Use a different behavior when filling a history gap and populating a
  new tab in a MUC

ci: Deploy the doc using the python:3 docker image

See merge request !106

MucTab: add some typing to presence handlers

See merge request !104

Signed-off-by: Maxime “pep” Buquet <pep@bouah.net>

MucTab: Ignore presence from MUC barejid

See merge request !103

Signed-off-by: Maxime “pep” Buquet <pep@bouah.net>

Fix highlights

See merge request !102

(there are still a few but this one would wipe all other highlights,
making it a bit painful)