Revert "WIP"

This reverts commit 6b861b24.
4 jobs for !4 with 12-14-tests-chapter-4 in 1 minute and 24 seconds (queued for 2 seconds)
latest merge request