Stray files are back!

Some stray files didn’t commit the previous time. Here they are.