Looks like @martinrichi hasn't received any replies!