This episode is also available as a blog post: http://pbgroupeu.com/2021/12/16/php-cli-extensions/