[12:08] <LinDol> hi all
[12:41] <CinnamonRickRoll> Hey, how do I go about installing extensions?
[13:18] <LinDol> um
[13:18] <LinDol> you mean gnome-extensions?