A more constructive way of solving "the greater issue",
could have be done by asking in november a question like
Bug #391451, about a kernel module, is reported as fixed.
What is needed to get in the Debian installer?

<snip>

One should lead to another, assuming proper initiative is taken.
However, it appears the climate has been poisoned in that regard, which
has caused pain for many innocent Debian users. A shame.