Update docs/tutorial/4-authentication-and-permissions.md

HTMLFormatter is in pygments.formatters.html