Clean up now-useless notifications code