Looks like @marekvej hasn't received any replies yet!