j
k
j a
j l
This was mostly superseded by !7505, which was merged as 4 commits ending with 84c7e1ffadd02fc05f4b9d8189913bf11864835a. Further improvements should be made on top of that as needed.
Back to the thread
Back to the list