others from last time

GitHub app didn't notice these files...