Thread:SageM/@comment-30079030-20200810202740/@comment-24053170-20200810203029

Sounds fine to me.