Removed dead code.

I had thought that a function needed to exist to be able to map over
the comma-separated list.  In fact, it's faster to inline it (texdoc
interface3).