No models with ID card + PointSharp device fitted mine (maybe newer model), and I found a card-holding model for the PointSharp. Combined them to this one, which seems to work.
Credit to https://www.thingiverse.com/thing:3471849 for the smart-card holder.
The author remixed this model.
The adapter in the original was just a card, but this is the full holder.