Op here! One of the primary reasons for using Redis here is not so we can use Lua (even if it is great!) - it's so that we can generate IDs using a service we already have. This idea could be extended to anything that allows user scriptable behaviour - for example, we know at least Instagram are doing this using PostgreSQL stored procedures.