Reverse Dependencies of plastexshowmore

The following projects have a declared dependency on plastexshowmore:

• leanblueprint — Lean prover blueprint plasTeX plugin.