<div dir="ltr"><div class="gmail_extra">Thank you Ondrej for your work on CodeTools!</div></div>