[rwth-security] Are shorter certificates finally coming?!