Is anyone looking at upgrading the port of Kodi from the now rather old 17.6 to the current 18.6? I see there is a dev port for v19 which is still in alpha but no movement on v18 series. Thanks.