It should be noted though that there is danger of a regression test failure. 
Some coffee machines would not accept cups higher (vertically larger), so the 
increasement in buffer size would need to go to circular dimensions, i.e. the 
radius.

Luckily, the amount of extra buffer space needed is relatively small, otherwise 
we’d end up with a Müesli cup instead…