UNTESTED: Implement a 'help' function for Stexaminer, per #21