I'm not convinced that the "Pinboard" text is necessary — the users already know what this extension is, especially since they've already logged in. (I left the Pinboard text on the login overlay, which I think is sufficient.)

The 'R' — I could go either way. I didn't know what it was until I clicked it, so I wanted to make its function more clear.

Ultimately, it's up to you, but I think these changes are for the best: they make the extension easier to use and remove redundant information.