Re: [arch-dev-public] changes needed in db-scritps - Was: The docs/!docs thing again