re: #11 b_sharp

I’m not sure if I should do it though, primarily because it doesn’t really matter and is just a curiosity thing.

re: #13 Stanley Sea

do it.

Seconded—do it. Just keep tabs on the comments in case the scales start flying.