Milan – no, it’s not a known issue. The plugin shouldn’t be caching pages for those users at all.

Please use the wp-super-cache-cache forum for support issues. It’s easier to keep track of them there.