A Pushpop plugins for reading file contents