doc: fix name to match git log
Affected core subsystem(s)
doc
Description of change
fix name to match git log
Git logs print my full name Robert Jefe Lindstaedt. When I did #6389 I forgot simply forgot it.
Sorry for the noise. It was very early back then :)