1.1--- a/core/bin/rdb.org	Sun Aug 18 22:16:12 2024 -0400
     1.2+++ b/core/bin/rdb.org	Sun Aug 25 00:15:40 2024 -0400
     1.3@@ -7,6 +7,9 @@
     1.4 The =rdb= cli tool is a simple RocksDB management utility.
     1.5 
     1.6 * help
     1.7+:PROPERTIES:
     1.8+:ID:       d66cd17e-10a8-401e-aaf8-85ff6df3ee63
     1.9+:END:
    1.10 #+begin_src shell :results pp replace :exports both
    1.11 rdb -h
    1.12 #+end_src