I’m not an arborist and we don’t have those type of tree where I live, but I have worked in landscaping before. My understanding any substantial trimming like that I’ve done in the past should never be done in the hottest part of the year because the tree will have trouble retaining water.
I ordered an OrangePi 3 recently for pihole purposes and it has been great, it’s also probably overkill for this use but hey it was actually in stock and not terribly expensive.