Docs/manual.texi: BDB log files have 10 digit extension, not 6.
Attach a file by drag & drop or click to upload
