I should also mention that this is the last ROS news for the year!
I’ll be back in early January after my vacation.