<div dir="auto">Provisional properties are omitted from PA.txt.<div dir="auto">I think an informational one is missing, and we have a report for it. </div><div dir="auto">Please check again in the beta. </div><div dir="auto"><br></div><div dir="auto">markus</div></div>