Make documentation header pretty
Make directory matching case-insensitive