Re #17: Expire cached EDM output when source data changes.