Online coop multiplayer

Naturally, we want 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