* trigger CI to see if sol2 example is reliably failing * attempt patch from github comment * fix patch * add info to comment on patch * run fix-format * simplify patchfile