Either way is fine by me.  A global find & replace is quick and easy if we want to change it to match the notes repo.

Looks like the GitHub Pages server has a rewrite rule to add the trailing /, so I think the home link can work like that either way.