A reddit bot for on-demand image resizing