Man pages matching name elvish-platform in section 7:

elvish-platform.7.en

debian 11 / elvish