Fix linting

10 jobs for end-user-documentation-overhaul in 19 minutes and 51 seconds (queued for 8 seconds)