fix: Require Vibratissimo devices to be named "Vibratissimo"

We've so far had no reports of anyone actually using one, and spamming
the logs for a toy we have no usage log of sucks.

Fixes #285

Author: qdot

Buttplug.Server/Bluetooth/Devices/Vibratissimo.cs

@@ -14,11 +14,13 @@ public enum Chrs : uint
             Rx,
         }
 
-        public Guid[] Services { get; } = { new Guid("00001523-1212-efde-1523-785feabcd123") };
-
-        // Deliberately empty: you can rename these!
+        public Guid[] Services { get; } = { new Guid("00001523-1212-efde-1523-785feabcd123") };
+
+        // Device can be renamed, but wildcarding spams our logs and they
+        // reuse a common Service UUID, so require it to be the default
         public string[] Names { get; } =
         {
+            "Vibratissimo",
         };
 
         public Guid[] Characteristics { get; } =

CHANGELOG.md

@@ -20,6 +20,7 @@
 - Fixed port number changing in Websocket Server
 - Fixed crash when copying IP addresses in Websocket Server
 - Fixed version number listing in logs
+- Vibratissimo devices now required to be named "Vibratissimo"
 
 # 0.1.0 (2017-08-07)