Man pages matching name lpsactionrename in section 1:

lpsactionrename.1.en

debian 10 / mcrl2