github moet een "niet die andere plebs" optie toevoegen om opmerkingen te tonen/verbergen