Looks like @janosh hasn't received any replies!