Looks like @janop hasn't received any replies!