main
Update the assets and GIF animations. (#979)
Update landing page videos (#1878)
Update buttons in READMEs (#1840)
Several improvements (#1002)
Some improvements (#1073)
Figures revision and bug fixes (#1041)
