Detecting and Repairing Arbitrage in Traded Option Prices. Issue 5 (2nd September 2020)