https://blog.sornram9254.com/linux-grep-multiple-lines/
Linux: grep multiple lines