> For very controversial would-be SRFIs like SRFI 177, which tries to
> solve a really hard problem as we all have learned, a ticket-based
> system like the issue system on Gitlab (or Github) could help to shape
> a pre-SRFI, which is less controversial.

That's a good idea. GH/GL issues hit a wonderful sweet spot IMHO. Good
organization without getting drowned in details. (As an intuitive not
systematic person, I abhor Jira, Pivotal Tracker, Trello and the like.)

SRFI 177's controversy hopefully stems more from its (unexpected to me)
inclusion in R7RS-large ballot than from the fact that it exists :)