Yeah, extras-devel is dangerous! Just like sharp knives ... if you don't handle them properly they just might explode into your face!
Using extras-devel can brick your phone but that doesn't mean that it shouldn't be reported and fixed! So much for the fish ...