This coupling between SmartCrawl and the implementation details of an old version of W3TC is a pretty serious issue. I have had clients experiencing 500 server errors when changing their menus because of this bug.
For now, I've logged into the web server and hand-adjusted the wds-core-taxonomy.php file with Ega's recommendation.
When can we expect an official SmartCrawl fix from wpmudev?
When I look at my WPMU DEV dashboard, I see each of the dependent themes (Spirit, Fixer, Scribe, Panino, Luke+Sara, Parrot), but I do not see Upfront as a separate Update. I've looked in Themes, and Plugins, and I've done a search for Upfront. None of those seems to list Upfront separately.
Where do I look in the WPMU DEV dashboard to find Upfront as a separate update?