I accidentally used a large logo for an extension (left) and it looks nicer than the 128x128 ones (right).

The "large" logo takes 229 kB. Is there a reason to limit the size to 128 pixels only? Is it ok if I use a larger image for the new PyTorch extension as well?