I meant to say: do we want to preserve this comment anywhere, or is it definitely not needed if we're only running the one database? This doesn't feel like the place for it anyway, and I guess it's fairly obvious if you google for it...