I noticed yesterday that `desktop-buffer-info' uses `set-buffer' instead of
`with-current-buffer'.

I couldn't find any particular reason for that, but I'm asking here if
anyone knows why, before I go and change it.

Cheers