function Headerimport { Header } from "https://deno.land/x/pyro@0.7.5/src/lib/page.tsx"; Header(props: { title: string; header: { left: JSX.Element[]; right: JSX.Element[]; }; github?: string; })Parametersprops: { title: string; header: { left: JSX.Element[]; right: JSX.Element[]; }; github?: string; }