Noam, Eli: I've applied the fixes you have both mentioned. I ended up
using DEFVAR_BOOL to create the variable, but I'm not sure I used the
variable correctly when calling Fdo_auto_save (the function only takes
Lisp_Object). I have attached a new patch.

Regarding the copyright assignment, mine was approved one or two weeks ago.

Thanks