show dhcp server statistics
the pool sizes seem to be not correct. This is due to the get_pool_size() function in src/op_mode/show_dhcp.py, which just subtracts a range's lower bound from its upper bound and uses the result as pool size. However, since according to the man page  both boundaries are inclusive, it should add +1 to the subtraction result:
The range statement gives the lowest and highest IP addresses in a range.
I could file a PR if you like, already prepared it.