Docs: fix and speed up manimplementations

Makes "manimplementations" run much faster by using an optimization as noted in the source (one git grep instead of one per page)

Fixes a bug where ${LOC} wasn't respected.