Wrote a tiny bit more on directed graphs as simplicial sets