DOKK / manpages

Man pages matching name elvish-builtin in section 7:

elvish-builtin.7.en debian 10 / elvish
elvish-builtin.7.en debian 11 / elvish