Looks like @jerzyk hasn't received any replies!