Deleted extension requirement tool (folly)