diff --git a/doc/manual/default_network_ports.rst b/doc/manual/default_network_ports.rst
index 6bb699ab9..33fa74a05 100644
--- a/doc/manual/default_network_ports.rst
+++ b/doc/manual/default_network_ports.rst
@@ -46,4 +46,6 @@ Default network ports
 +---------------------------------+--------------+
 | TOPTICA Laser SDK (out-of-tree) | 3272         |
 +---------------------------------+--------------+
+| HighFinesse (out-of-tree)       | 3273         |
++---------------------------------+--------------+