[web] hide old Writefull banner when the extension is already installed GitOrigin-RevId: 35a1a3f6e8dd5860d81ea61ea01c40419454d40c
[web] hide old Writefull banner when the extension is already installed GitOrigin-RevId: 35a1a3f6e8dd5860d81ea61ea01c40419454d40c