@aemylt@scholar.social It's June though, aren't those dots supposed to change into the square check boxes?