Abstract: We discuss Rabinowitz Floer homology, a version of Hamiltonian Floer homology for an action functional with a Lagrange multiplier (introduced by Cieliebak-Frauenfelder), focusing on applications to Sandon's conjecture on the existence of translated points of contactomorphisms (mostly after Albers, Frauenfelder, Merry).