How to make a Nerd Fonts-patched (‘Powerline’) version of the Input Mono font