Oh, at the time of writing I wasn’t sure if the thread title would display in their notifications with the mention, so I wrote that just in case.