A tiny scripting language for web browser automation