Yes, you are right, the size is not optimal. Our primary concern was to help our current users to easily make the switch to the new architecture and help new users to get started quickly. In a next step the size problem can be addressed. We have limited resources and can only work at one problem at a time.

Do you have a special problem with the size of the gif except for aesthetical reasons?