Collabora Online Developer Edition 4.0 is here: edit documents on mobile and more!