Im fairly new to aegir and I have some hard time finding out the proper way to set a legacy database in aegir context. As far as I can see settings.php inside a platform is automatically generated so if I edit this file and run verify all changes will be lost. Other option is to insert it into drushrc file but Im still not sure what the syntax should be there. I see that database is inside the options array. Anyone with similar experience and few advice how to tackle this properly?