A collection of useful tools for the Feenlicht RP