About "Smart card support is untested, though it should work since I didn't change anything.

[GambitVKM]

I have a smart card. It works without problems on SR2 and SR3. If you are interested, I can call another cardholder and test switching between sessions. I can also check the migration of sessions between thin clients, if this functionality is implemented.