[verdverm]

They are using an older version of https://docsy.dev for their docs site.

How does this one look on mobile? https://docs.hofstadter.io

I just started that yesterday from the most recent docsy.