Thanks for the pointer! We update the JSON feed now but should be able to generate an OVAL feed too.