scripts/4chan: clean up a very tiny bit