bbPress.org

Thanks Michael. Via that plugin I found this one: https://bbpress.org/plugins/topic/display-name/

Don’t know why it didn’t come up in my original search. It’s a bit dated, but perhaps it will do the trick.