Alan, Aleksey, Daniel, thanks for your reviews! On 2019-08-12 13:03, Daniel Fuchs wrote: > Hi Claes, > > I'd suggest adding a comment such as: > > // sized to 32 to avoid resizing during bootstrap I think this would be superfluous, so unless there is popular demand I'll leave it as is. Thanks! /Claes