I saw some related posts, and pooled them together into pool:3613
I gave it a title and a description based on my best guess of what they should be. Is this the procedure, or should I have waited for someone else to do it?
Also, since the pool is public, can other users change the title and/or description if needed?
Updated by Log