This is a placeholder for documentation on how to recover a local build from before #1918 to a pull/rebase following that merge.