Construction and convergence of the $\mathbb{F}_p$-based unstable Adams spectral sequence [Reading seminar]