This is nice to have. The classic reference on online learning is "Prediction, Learning and Games" but it's not ML focused and it predates pretty much everything on online convex optimization. I'm looking forward to seeing a more modern introduction.