Ah, just kidding.  Just realized this filter was only added in 3.8.14.  Carry on :)