remove "6-12-tuples hidden" disclaimer...
remove "6-12-tuples hidden" disclaimer...

... as it is not true anymore.  Further instances do appear on the main docs!

rudymatela/llcheck,rudymatela/leancheck