HyprDoc - Next-Generation Document Editor