Update regression test and user docs with count-facts