Developer postOriginal post (opens in a new tab)

patch, 12/24/2019

- Various small coding repetitions.