Do you know what the small, circular indentations along La Jolla's so-called People's Wall are?