<p><a href="https://micro.blog/hjalm">@hjalm</a> You should be …

@hjalm You should be able to use the built-in search, I think.