For now they'll only last this server invocation, because I merely pasted the code into the repl. Let's see if we still need them in a week.