u/Detract2527

I don’t know if there is any Pop_OS! dev on this forum. But, I hope that they are aware of this.