hgtags: remove last remnants of bitbucket past
main: cosmetics (change banner)