Useful tools when working with info-beamer on the PI