Loading annotation for devhints.io