@chacha I actually had a look at doing a separate plugin instead, and basically, it seemed like total overkill. There also aren't really filters where it'd be good to have filters, so the plugin needed to be even more complex than might otherwise have been necessary.

This seemed a simpler option.

I'll update the comment / usage info to recommend adding that line to wp-config.php. Good call on Gravity Forms, @c3mdigital. I knew I'd seen something similar elsewhere!