A fully edited tribute video will be available in a few days, to view or download at the discretion of the family. This will include some or all of the following: Coverage of the arrival and departure, multiple camera angles and close-up views of speakers.
In the meantime, here is a link to a recording of the live stream, for those who may have missed it: