[mikepurvis]

Even better, doing so allows GitHub to insert a source snippet if you paste a link like that into an issue or comment.

[flakes]

Yeah, I just always used the context windows to set permalink. Saves me a step now!