The Finite Index Basis Theorem is an elegant result connecting bifix codes, symbolic dynamical systems and free groups. It was proved in a 2015 paper with seven authors. In this talk we give a fresh look at this theorem, outlining a sort of topological proof appearing in the new book "Profinite Semigroups and Symbolic Dynamics".