Exclude Gerritbot etc. from colorizing; remove LastModified from list of deployed extensions