More intelligent grep as `ack'.
Fix sanjoy-initialize-agda-mode