docsplit now on Linux Mint/Ubuntu