Considerations
- Were this to be implemented we'd likely need for IP link targets to point to their contributions page as is currently done when an IP editor signs a talk page. [1]
- It needs to be clear to people that "mentioning" an IP editor is different from mentioning any other user
- It needs to be clear to people that "mentioning" an IP editor will not send that user a notification