Looks like @tillkolen hasn't received any replies!