To delete the key acquired in Redlock, it's better to have builtin command over lua script

[workplaylifecycle]

redlock#correct-impl here we need lua script just for atomic execution of Get Test Del, get and del raised comnmand against redis-server, test check in lua code, why not merge three step into one instruction, all in server side, let's say delvm, delvm key_nice value_fine only delete key of key_nice has value of value_fine, if there is no such key or value not match value_fine then reply 0, otherwise delete key and reply 1.
I totally understand how lua works out there, but something builtin is more solid, sophisticated, let's say, why do we have setnx, we can impl it in lua right, but we have now people choose it over lua way, because builtin command is simpler for developers

[workplaylifecycle]

and there are some other reasons, like if we have standalone delvm command, we can easily monitor it, but we can't if using lua; in some production environment, eval command is commented out for security reason, client is not able to call eval