Revert "Remove Pinoccio" per Ken H.

This reverts commit 985ca470af3a690c6647df09fd5a4148f79ce10f.