Briefing: Measuring pavement skid resistance – comparing manually pushed and trailer-mounted devices. Issue 6 (21st December 2020)