Clarify Datalog/Racket interaction re Matthias