No. davel is searching for you himself and yogthos in the "policy".
It's in the format of a terminal. The $ is a "prompt symbol" or what you might call it, essentially it shows at the start of every input line in a (ba)sh terminal. davel has then typed in a prompt, getting a copy of the policy from the website (with curl), decoding it from base64, unziping it, reading the json with gron, and "grepping" (searching) gron's output for davel or cowbee or yogthos. The two next lines are then the output, the lines that match that search. And then a new line ready for a new prompt.
I started using Zotero for exactly this. Keeps copies of pages, and let's me search in the text (of everything I keep in there, which also includes books)
You can see the modlog for a user (assuming you are using Lemmy through the web, I'm not sure about apps) by clicking the three dots with an downwards pointing arrow and then clicking on "[username] Moderation History"
No I mean your reply to OpenStars didn't show up on piefed.social, because OpenStars has Lemmy.ml blocked, see RedWizards comment on how blocking functions on piefed.
It's already done, for 1.0 I think. https://github.com/LemmyNet/lemmy/pull/5515#discussion_r2004068653