Perform rescan for github.com/google/mangle/pull/53?