[1] Of course, rtftoweb creates a whole bunch of HTML-Files (depending on the supplied options), but they will all have the same basename as "file".