Subject: bug#47711: bug#48841: bug#47711: bug#48841: bug#47711: [PATCH VERSION 2] Add new `completion-filter-completions` API and deferred highlighting

From: Eli Zaretskii <[email-masked]>
Date: Thu, 02 Nov 2023 12:10:50 +0200

> From: João Távora <[email-masked]>
> Date: Thu, 2 Nov 2023 09:48:51 +0000
> Cc: Eli Zaretskii <[email-masked]>, Daniel Mendler <[email-masked]>, 
> 	Stefan Monnier <[email-masked]>, [email-masked]
> 
> Stefan, Eli, would you like to chime in?

Chime in on what aspect(s) of this discussion (or the patch)?