[…] > Then it is not only a non-source file but a non-source file that does not > have a public source.
Right, since this file does not have a public source, this is a valid reason to remove it. So here’s the proof how useful the discussion was we’ve just had on this topic. The usefulness is visible in that now there’s a valid reason to delete this file. I’ve just prepared a new Debian tarball for Bibledit Cloud and uploaded the new build to the Debian archives. It also includes also your recent fixes in Salsa - thank you for that contribution. Then the upload to Bibledit (non-Cloud) should finally fix this bug - coming soon.
