Online coop multiplayer

We'd like to add online coop after having added offline coop. Again, this is technically quite complex, so we don't have a specific plan for it at the moment.

Online coop multiplayer