Update export TODO to point to the relevant intellij-plugin issue; rm ref to non-existent option
Review Request #3558 — Created March 11, 2016 and submitted
|benjyw, gmalmquist, molsen, zundel|
While looking for conf usages, I noticed that there was a reference to export_options.confs which doesn't exist. This removes that reference. It also moves the workaround to a method, and updates the comment to point at the blocking intellij-plugin issue.
CI away on PR.