Marcadores.

Vi esses marcadores de página no updateordie.

Achei legal. Chama-se GreenMarker e é criação da Yuruliku (www.yuruliku.com)