perhaps the last time I read the FAQ (beginning of January 2002), it wasn't there at all?

It's been there all along (since before the FAQ was moved to riocar.org), the date code was just indicating an update or a wording change. But no matter, all is well.

How do I resume playback of a playlist from the same position it left off after searching and subsequently playing a single song or a multiple of songs?

If you remember to set a bookmark before selecting the single/multiple songs, you can go back to that bookmark.

Alternatively, you can use "insert" mode to play the single/multiple songs and not even have to do the bookmark.