Update mavens to use HTTPS
Update to lastest Mantle build and replace ModuleFileRepository with the Mantle class
Update the high oven's color in the book screenshot