They make no mention of asking the unnatural link publishers to take the links down (such links can be found in Google Webmaster Tools), or of using the Disavow Links tool to tell Google they do not want anything to do with those links.
Lessons learned: Better to be safe than sorry. Know your tools. Know your partners.