diff --git a/etc/gdb_pretty/printers.py b/etc/gdb_pretty/printers.py
index 2a0be8b167..2d3c6e9fe5 100644
--- a/etc/gdb_pretty/printers.py
+++ b/etc/gdb_pretty/printers.py
@@ -96,6 +96,8 @@ def _register_printer(printer):
 class TimePrinter:
     """
     Pretty printer for openage::time::time_t.
+
+    TODO: Inherit from gdb.ValuePrinter when gdb 14.1 is available in all distros.
     """
 
     def __init__(self, val: gdb.Value):
@@ -126,6 +128,8 @@ def children(self):
 class FixedPointPrinter:
     """
     Pretty printer for openage::util::FixedPoint.
+
+    TODO: Inherit from gdb.ValuePrinter when gdb 14.1 is available in all distros.
     """
 
     def __init__(self, val: gdb.Value):
@@ -163,6 +167,8 @@ def children(self):
 class VectorPrinter:
     """
     Pretty printer for openage::util::Vector.
+
+    TODO: Inherit from gdb.ValuePrinter when gdb 14.1 is available in all distros.
     """
 
     def __init__(self, val: gdb.Value):