@johnjohnston johnjohnston.info/blog/type… redirects to johnjohnston.info/blog/type…