Add a link to Github PR

[berezovskyi]

It is convenient to have a link to the Github PR at the end of the session.

I implemented this in berezovskyi@5a3175d if you find it useful.

For a great little application, arigato!

[linkalls]

Thanks a lot for the idea and the implementation!
I’d be happy to accept this as a PR to this repository.
If you have time, could you open a pull request based on your commit 5a3175d against main here?