Remove mention of pre-published proceedings

/cc @jaberg