Log proceedings tools checkout better. Move default port to public, 8192.