Nope, the `interrupt` option is fine + works great — successfully avoids to build+autoload an extension in case of two very quickly, consecutively changed/saved files.

Added a clarifying comment for posterity now.