Subject: [bug#39635] [PATCH] website: Modify use of H1 headings

From: Luis Felipe <[email-masked]>
Date: Mon, 12 Oct 2020 14:08:56 +0000

Hi simon, thanks for the tip. I'll do that from now on.