Embed Notice

@mathew @fourpenguins yup, it's of the exact same provenance as mine ultimately, and my html processor isn't that extensive at the end of the day.

we're both running makeinfo --html --no-split, just, their website is harder to find stuff on, they do fewer sneaky html editing tricks to make mobile work well (my site doesn't have x overflows but this is by deliberate effort), and their css is different.