“destruidor” is a portuguese word and in spanish, we say “destructor”
To me it seems like a bug
© 2022 Car Crushers