Maybe a note could be added to the です grammar point that it can also be used with negative verbs? It already has one for adjectives.
There also is the じゃない grammar point that doesn’t mention です but actually has example sentences that use it.
Since this is kind of an exception for です where it doesn’t actually have a grammatical purpose and is only used for politeness, a dedicated grammar point on informal politeness or something could be focused on that? I don’t think it has to be different grammar points for each individual case. A lot of people seem to simply consider です a polite version of だ in the beginning, but that’s not true in modern Japanese, so IMHO it makes sense to highlight this.
@testing please note that this is not “plain verb + です”. It’s specifically negative forms (-ない) or い-adjectives or other words that act like い-adjectives where this originally ungrammatical use of です is now established as a less stiff way to make a sentence polite. In the じゃない grammar point I found this stackexchange post that has some interesting comments on nuance. This page on imabi.net goes into a bit more detail as well.