Deskto.ps – a searchable library of annotated desktop screenshots