@happy-kitchen-89482 I didn't realize you're planning on removing tool lockfiles, only to allow them to be optional. Some questions: