I have a small question but more for the people who create(d) the Pulumi website. Could you tell me how, or with which tool the animated terminal images are created like in the

Create > Deploy > Manage

section of the front page?

I actually believe that's done with CSS...

Wow, yes. Inspecting it in my web browser, I see this is pure HTML and CSS. Was this implemented all by hand, or was a tool still involved?

All by hand I believe