TOOLS/lua: no longer gsub out "lua/" prefix, now that its no longer there
TOOLS/lua/autocrop: handle case of user hitting hotkey while cropdetection already running
TOOLS/lua: use double quotes unless there's a good reason