On 2025-Aug-19, Jelte Fennema-Nio wrote:
> This is now deployed to production. Please let me know if some
> behaviour got broken or styling looks weird.
Hmm, you seem to have changed the main page title from "Commitfests" to
"CommitFests". There is a subjective argument that the uppercase F in
the middle of that word looks terrible for some reason, but there's also
the objective argument that the change on that particular page broke the
pginfra monitoring for the page.
Can you please put that lowercase "f" back? Here's a quick patch. (I
think several people would not be pleased if the uppercase F were to
propagate much more.)
--
Álvaro Herrera PostgreSQL Developer — https://www.EnterpriseDB.com/