This refers in particular to so-called bots and other tools meant to replace or supplement the web interface. Also prohibited are scripts and completely or partially automated programs that provide users with an advantage over other users. This includes auto-refresh functions and other integrated browser mechanisms if they concern automated procedures.</p> <p> </p> <p>4.5  .  .