Day in which the 13th of a month is on a friday.
Currently, there are no issues on this topic. Create one.