Clean up capitalization in /development /gitlab-basics and
/install