User decisions, and how these could guide developments in probabilistic forecasting. (5th August 2020)