d) Delete hitech-picc32-bin.
 are a legacy compiler for a long time, Microchip in  page says:
"Microchip highly recommends the MPLAB C Compiler for PIC32 (SW006015)
for new designs."
Note that the recommended (SW006015)=microchip-mplabc32_bin are
this days already also a legacy compiler, as you can see in my b)
merge request, so you can have an idea.
Deleted https://aur.archlinux.org/packages.php?ID=54316 which is what I
assume you meant.
Yes, exactly, sorry for the mistake and again, thanks for everything.