I was extremely confused before realizing I think that link is for the wrong Pencil. You probably meant to reference this one: https://www.pencil.dev/