Comment by jrflowers

See this can be the issue with posting on the internet without directly using Chinese-built electronics: you have to periodically remind your seneschal what your various shorthand terms mean or they will make mistakes like forgetting what “ctrl+D” means and assuming you meant “downvote” and not “bookmark”