Updates to permissions tables generation#284

Merged

millicentachieng merged 3 commits intomasterfrom update-permissions-tables-gen

Aug 8, 2024

+83-49

Commits on Aug 7, 2024

Account for HTML annotations that are differently formatted
millicentachieng
committed
Add check to identify permissions block from annotations
millicentachieng
committed

Commits on Aug 8, 2024

Simplify how we compute where to start looking for the next permissions table after finding the first one
millicentachieng
committed