After that, Hello world should appear on the page twice—once at the top in HTML ... available in PyScript the same way you’d use it in regular Python: simply import and get to work.