Comment on [#10723] window sizes should be stored per device, not per Horde user account

   ..  ..___.___. __.
   ||\/|[__   |  (__ 
\__||  |[___  |  .__)