Add pool port to URL example.

[b-rowan]

Adds a port to the pool URL example.

Curious if there is an expected default port? I haven't seen one anywhere, but it might be a good idea to specify it here if it exists, or maybe define one if not.

[plebhash]

I think standardizing ports for roles is a good idea. But I don't think it makes sense to standardize that by changing this specific file.

I wrote a more concrete suggestion here: #79

[b-rowan]

Agreed, maybe not the spot for a concrete "default", but I think the core PR still remains, I believe it's a good idea to demonstrate usage with a port, as more than likely the pool URL will need to have a port specified.

[plebhash]

Agreed, maybe not the spot for a concrete "default", but I think the core PR still remains, I believe it's a good idea to demonstrate usage with a port, as more than likely the pool URL will need to have a port specified.

makes sense!

I suggest we switch to port 34254, that's the one we are using on StratumV2 Reference Implementation

[pavlenex]

Leaving up to @Fi3 and @jakubtrnka to review and decide if this is okay in specs.