# Legacy tools
These scripts were once used but not anymore. I keep them here for retro-compatibility sake.