Fix PragmataPro font name
Create doc/tags in hoogle bundle