makes include for top menu, add plugins repository page, other small fixes