The history was lost because this was started as a new PR instead of amending the old one.