No longer need these; goodbye, all that Javascript.