updated doc format, introduced linting to avoid silly mistakes, bumped REDUCE_TIME and VERSION for a smaller short id.