Workshop summary: yet another formatting fix (url in wrong order)