text: Title: Docs should use RTD theme for local dev builds
  Body: This should help avoiding issues like #683 where the default theme does not show these issues.
  
  https://sphinx-rtd-theme.readthedocs.io/en/stable/installing.html