Resources available from "Getting started with web archives: 2018 beginners’ workshop"