Perform rescan for github.com/google/dotprompt/pull/558?