Concur, to rephrase it, it's not the software that must make connections while you sleep, but rather you must make connections and then transfer them to software. From there you can do spaced repetition or whatever to map those connections to a mental model. There are two friction points here: realizing what connections are made and then externally documenting the connections.