Revert "Merge pull request #12163 from jmcanterafonseca/bug_details_matching"

This reverts commit c0ff597baabf4433b767421d9a513b95f40c406a, reversing
changes made to 4e6c0c9ea2f8ef78634295f52e48f5f8e695c776.