Question: is it better to store platform configuration in database or a file?