Thank you for your kind help. Thanks to you Zimon and Adrianos who answered off-list. I was able to whip up a patch that should help future users avoid my confusion: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=46805