Link HotFOCI talk

Link @syverson's HotFOCI talk somewhere. Let's defer until we know if there will be any official upload from HotFOCI, otherwise fix that ourselves.