However, the idea that users could search for previous bug reports is
new to me. That might be an additional reason for using fancy_abort.It's not just users, but first level tech-support. There, it can help in suggesting a workaround to the user and knowing which file the abort is in may help assign the bug to the appropriate developer.
