I'd moved the lock to some pipes right near the coffee shop (the one by the bike, here):
But today it was gone. A contractor had worked on those pipes, and instead of putting the lock back on, or giving it to the coffee shop owner to put behind the counter, he just left it on the ground next to the pipes (The owner called the contractor to find out what he'd done with it). Of course, someone took it.
No big deal, and I can't expect any more, but it would be nice if he'd given it some thought.
That lock was overkill for that situation, so I'll replace it with a thinner cable and combination lock.