[Savannah-help-public] stray lock?

[Paolo Bonzini]

I think there is a stray lock by "nobody" at

 /web/smalltalk/smalltalk/manual-base/html_node

Thanks!

Paolo