Hi,

now that we have `display-line-numbers', I propose to offer its setting
in the Options Menu. Any objection to install the appended patch?

Best regards, Michael.