Another rename of the main file, as well as some small changes to the show rules command