I think you're right, docs is probably the right place for this, rather than putting it in the distribution. I'll change it.