Fix linting (though CI tests do not work)#5

rhaps0dy wants to merge 2 commits intomainAlignmentResearch/aim:mainfrom

aga/pass-ciAlignmentResearch/aim:aga/pass-ciCopy head branch name to clipboard