Looks like @bilstein hasn't received any replies yet!