Font:   victor-mono from https://www.nerdfonts.com