A small PHP RSS server backed by MySQL