>It would be nice if it had a mobi
version.
Not sure I understand this
comment. If the result says “Kindle” and it’s a free version, then it is a .mobi
file, or else is a .prc file -- which in practice is the same as a .mobi file
if you change the file extension.