Comments on 2019-09-30 diff and ignoring lines

This page does not exist, but you can create it now.