In the documentation, (Creating WP themes) it says:
Note, that php…/php tags are used instead of <?php … ?>, so that code blocks can be properly displayed during editing in Pinegrow. Do not use <?php … ?> syntax in HTML code of Pinegrow WP source files, because that can lead to undesired results.
When I changed what I had copied and pasted in to conform to the above, it stopped working, and I changed it back to the “bad” way and it worked again. Is this part of the documentation still true?