From: Assaf Gordon <[email-masked]>
Date: Mon, 22 Oct 2018 19:53:26 -0600

tags 20012 confirmed minor
retitle 20012 doc: 'pinky' is missing from texinfo manual