Minor changes including badges and easier-to-understand regex

dev is default