A tiny FTP crawler and indexer with a web UI, based on Redis and designed for performance