Use a consistent name for the config file

A couple of examples used config.json without explaining what this file was
Now they use the default satis.json filename mentioned throughout the document