Backend dev notify

This is my (Ben Whitely) old code that has been included elsewhere and is now obsolete.