Shared by Martin Mahner on March 1, 2023
You can pipe a man page easily to the editor of your choice.
MANWIDTH=80 MANPAGER='col -bx' man <cmd> | code -n -