Use `Exceptions.propagate(e)` so consistent handling of InterruptedException.