How to change RocksDB option keep_log_file_num

Already noticed this too: Keep_log_file_num high default

For small setups, its a very high default. I use a script now, to maintain the Logfiles.