v0.21.3

What's Changed

• Fix ignored irrelevant_tools configuration by @Adamantios in #373
• Implement a mechanism for detecting and recovering quickly from unreliable tools by @Adamantios in #372
• Release v0.21.3 by @Adamantios in #374

Full Changelog: v0.21.2...v0.21.3