Yep, did that. That’s where I got the code.
Apparently, the problem was a cache issue of some sort. Refreshing the browser wouldn’t fix it, but when I exited WP and logged back in, everything functioned as expected. With the code I listed.
Odd, but when it doubt, reboot.