@michaelbabyn the idea is that you can change the file as you're working but we won't push changes of this file in PRs

I'm in favour of leaving it relatively restricted because otherwise it takes quite a long time to render! But if you'd like to by default load some of the docs for example I think it's fine to change the config_dev file a bit.

I just want to revert it back to before this unrelated commit changed it to render almost nothing 9ab396d#diff-7b582af8acdebcb0583b1f0944ff1f98

that makes sense but I think it would be nice to be slightly more restrictive ie not rendering pandas, ggplot2, all the reference pages (I think rendering 1 reference page by default would suffice)