Any plans to improve the search regarding IP numbers?
Hi,
are there any plans to fix the search so one can search for IP numbers in the same way one can search text?
As mentions here and here it is possible to search for IP numbers but none works really well.
Using the regexp method does return a lot of irrelevant pages like this example. The page I am on is not within the top 10 hits while none of those ten pages has the IP 172.20.8.0 on them.
The other suggestion is to use the wildcard * to replace / in CIDR notations. But if one just want to find an IP number why can it not work as any other text? For instance if I start writing "acti" it will search any word starting with "acti" and that continues with any other letters. But if I start writing an IP like 172.20. I only get one suggestion and not the page I am viewing that obviously has the IP on it. I discovered that it is searching for the exact match.
If I instead add the wildcard it will find all the pages. This is quite confusing since I need to have two different search strategies depending on what I want to find.
