`.gitignore` tweaks #777

Job	Run time
build (ubuntu-24.04, 12.6.2, 13, bash, Unix Makefiles)	3m 9s
build (ubuntu-24.04, 12.5.1, 13, bash, Unix Makefiles)	3m 23s
build (ubuntu-20.04, 12.6.0, 10, bash, Unix Makefiles)	2m 44s
build (ubuntu-20.04, 12.5.1, 10, bash, Unix Makefiles)	2m 56s
build (ubuntu-20.04, 12.4.1, 10, bash, Unix Makefiles)	2m 59s
build (ubuntu-20.04, 12.3.1, 10, bash, Unix Makefiles)	2m 52s
build (ubuntu-20.04, 12.2.2, 10, bash, Unix Makefiles)	2m 57s
build (ubuntu-20.04, 12.1.1, 10, bash, Unix Makefiles)	3m 15s
build (ubuntu-20.04, 12.0.1, 10, bash, Unix Makefiles)	2m 43s
build (ubuntu-20.04, 11.8, 10, bash, Unix Makefiles)	2m 40s
build (ubuntu-20.04, 11.7, 10, bash, Unix Makefiles)	2m 56s
build (ubuntu-20.04, 11.6.2, 10, bash, Unix Makefiles)	2m 29s
build (ubuntu-20.04, 11.6.1, 10, bash, Unix Makefiles)	2m 30s
build (ubuntu-20.04, 11.6, 10, bash, Unix Makefiles)	2m 40s
build (ubuntu-20.04, 11.5, 10, bash, Unix Makefiles)	2m 49s
build (ubuntu-20.04, 11.4, 10, bash, Unix Makefiles)	2m 35s
build (ubuntu-20.04, 11.3, 9, bash, Unix Makefiles)	2m 30s
build (ubuntu-20.04, 11.2, 9, bash, Unix Makefiles)	2m 36s
build (ubuntu-20.04, 11.1, 9, bash, Unix Makefiles)	2m 7s
build (ubuntu-20.04, 11.0, 9, bash, Unix Makefiles)	1m 55s
	54m 45s

Provide feedback