Looks like @habakkuk hasn't received any replies!