Ok. I think I had worked around the one regarding long icon names, but there's also no problem with having shorter ones.
On Fri, Jul 10, 2020, 9:59 PM John Darrington <j...@darrington.wattle.id.au> wrote: > Harry reported that some recent commits had been causing him build > issues. They don't look like very important things so I have > reverted them. > > J' > >