Ping & Net

7/9/2023

Modernised the sharing menu, and made it work once again on some devices like Samsung Galaxy.
Allow internal host names that are not necessarily FQDN, and allow underscores in domain names. Let me know if it still complains about host names that you think are valid.
Fixed the ping widget on Android 14. It now asks for the exact alarm permission, and the notification permission if those have not been granted.
Fixed Cloudflare Secure DNS provider.
Updated Whois lookup information.