diff --git a/src/grants/cpu_with_programmable_decoder.md b/src/grants/cpu_with_programmable_decoder.md
index 7d4bf22..32e1add 100644
--- a/src/grants/cpu_with_programmable_decoder.md
+++ b/src/grants/cpu_with_programmable_decoder.md
@@ -23,9 +23,7 @@ design and formal verification. Presented the talk "An introduction to
 Formal Verification of Digital Circuits" on FOSDEM 2024
 (<https://archive.fosdem.org/2024/schedule/event/fosdem-2024-2215-an-introduction-to-formal-verification-of-digital-circuits/>).
 
-* Tobias Platen -  Currently working on <https://nlnet.nl/project/Libre-Chip-proof/>. Contributed to the Libre-SOC project, mostly on
-ECP5 FPGA prototypes and DDR SDRAM memory interfaces. Presented the talk "Using the ECP5
-for Libre-SOC prototyping" on FOSDEM 2024 (<https://archive.fosdem.org/2024/schedule/event/fosdem-2024-2060-using-the-ecp5-for-libre-soc-prototyping/>).
+* TODO: does Tobias Platen want to participate?
 
 # Requested support