# Legacy tools

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