Looks like @marekvej hasn't received any replies!