<div dir="auto">Hello everyone!</div><div dir="auto"><br></div><div dir="auto">It’s Christmas earlier this year!  By popular demand we are excited to extend the deadline for submission to the 10th of December (23:59 CET)!</div><div dir="auto"><br></div><div dir="auto">I will shortly update the website, but the new deadline is effective immediately!</div><div dir="auto"><br></div><div dir="auto">Cheers,</div><div dir="auto">Mario</div><div dir="auto"><br></div><div dir="auto"><br></div><div dir="auto"><br></div>