I confirm, my version is “better-internal-link-search-develop” and the search-modifiers.php has the same number of lines as the one you showed me. =/
I have to admit that to change the URL is not something good to do, and that we can’t do anything for external links.
But sometimes it is necessary, for one page or a post. And even if it’s not SEO friendly, if you have to do it… you have to do it ??
Of course changing Permalink style is definitely not good, because all link will break, external or internal.
Do you think there is SEO performance issue with mixing different ‘styles’ of Permalink ? hmmm if yes, my feature request become suddenly less attractive.
That’s why people should have the choice between usual Permalink or Shortlink if you include this ??
Thanks again for your plugin !