Bruce Allen on FB found the perfect mini pump that fit snuggly into the rear tool compartment in the side cover (but put it in a plastic bag, it doesn’t like water)

It’s called the MotoPressor pocket pump, comes from Australia, and can be found on various places online.
Stop & Go Tubeless Puncture Pilot Kit has been reported to fit in the side panel, with the pump under the seat.