fyi, chatted with @blois -- this was an old workaround for a bug y'all have since fixed. Removing.