Docs
Tweak docs
Betterer subgraph isomorphism handling