Fixed

• Unserializable diagnostic now shown only once per typehole. Previously the tooltip could have the same warning multiple times.

• Server is now stopped once all typeholes are removed. Restarting the server now also works