Merge branch 'master' into 207-checkerboard_on_odd_sized_lattices_not_usable

21 jobs for 207-checkerboard_on_odd_sized_lattices_not_usable in 13 minutes and 47 seconds (queued for 3 seconds)