Looks like @wiktorb hasn't received any replies!