[WIP] Update nextra from v2 to v3. Make minimal, necessary changes only. Don't break anything during the upgrade. Make sure the website builds by following the instructions in the README. - #37