On a weekday afternoon last fall — it might have been a Wednesday in November — five San Diego city officials visited the venerable little library in Ocean Beach. What the heck was up with that, you ...