Is the source code for the WebLock example extension available
somewhere for download ?