Smaller cleanup#195

alexander-sei merged 2 commits intomainsei-protocol/sei-docs:mainfrom

alexander-sei-patch-1sei-protocol/sei-docs:alexander-sei-patch-1Copy head branch name to clipboard