so that one can load the source file of gnus-mock to simplify debugging? Thanks, Michael.