j
k
j a
j l
IMO, leave it to the person willing to make the PR, it can always be moved later if it turns out people are using it a lot for some reason or having trouble finding it.
Sure, but if we don't ask we don't know if the OP is happy to do it.
Attachments:
Back to the thread
Back to the list