Dave's funeral is today, and will be live-streamed on the website Obitus. If anyone wishes the login details, please pm me: probably too late to see it live today, but Obitus usually makes any such stream available again after 48 hours, and for a few weeks after that.