The examples **are** checked in `make check`. But yes, they are not needed, I'll remove them.