Actually, maybe its time for one of the users to take over the port and deal with the next release. I am rather stretched and don’t plan to update my device any time soon. So, it would make sense to pass the port over to someone who is interested in it.
Update instructions are available in the port docs. So, it shouldn’t be too difficult.