Grid: ProgressBar renderer in footer

I know how to set a ProgressBarRenderer for a column in the Grid widget. That is clearly documented in
The Book Of Vaadin
section 5.23.6.

How to do the same for a cell in the footer of the Grid?

You can simply use regular Vaadin components in headers and footers:



This is briefly mentioned at the end of section
in the book.

There ought to be shortcuts in the Column API as well, like there is for setting a textual header (
). I opened
ticket 17318