Manual:ResolveStubs.php/de-formal

Details
resolveStubs.php file is a maintenance script to convert history stubs that point to an external row to direct external pointers.