Now I think mimicking literate Agda is the most sensible way to do everything.
However, things like this are must-do, and can be done by improving org.aya.concrete.remark.CodeAttrProcessor
org.aya.concrete.remark.CodeAttrProcessor
Depends on #464